Hugo A. López (Hugo Andrés López)

I am a postdoctoral researcher at the Formal Methods section of the Technical University of Denmark, under direction of Profs. Flemming and Hanne Riis Nielson. My research specializes in the modeling and verification of distributed systems, focusing on message-passing concurrency, process calculi, behavioural types and specification logics. Theory is nothing without practice, and I believe application areas are equally important as theoretical advances, therefore I have explored Cyber Physical Systems, Multicore Programming, Business Process Management, Service Oriented Computing, Security Protocols and P2P systems as fields where a precise account of concurrency is necessary.

Previously I worked as a postdoctoral researcher at the University of Lisbon, under direction of Vasco Vasconcelos. I did my Ph.D. at the IT University of Copenhagen, under direction of Thomas Hildebrandt.

Here you can at my publications.

I also dance and do some amateur photography.

Erdos Number: 4

Last Revision: 07.04.2016

“Everything is vague to a degree you do not realize till you have tried to make it precise” - Bertrand Russell