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

Researcher in Computer Science with experience in Formal Methods, Distributed Systems, and Business Process Management. I mainly specialise in process-oriented technologies, their theoretical formalisation (process calculi), their formal verification, their adoption via software tools (engineering), and their empirical validation. I do this using a cross-disciplinary and a cross-sectorial approach. In addition, I led the technology transfer of these academic efforts into tools at our industrial partner ( DCR Solutions), whose technology currently supports the Danish Central Government institutions. My research objectives involve the maturing of a new generation of process technologies that can adapt to citizen needs, while still be compliant with regulations and laws. Such technologies should have a digital component, in terms of software tools that support the digitalization of work processes. Finally, technologies should be understandable, even for people that do not have a computer science background.

I currently work as an Assistant Professor in Computer Science at the University of Copenhagen, and as an Industrial Researcher at DCR Solutions. Previously I had been postdoctoral researcher at the IT University of Copenhagen-ITU (Programming, Language and Semantics group), the Technical University of Denmark - DTU (Formal Methods section), and at the University of Lisbon, (Prof. 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: 06.02.2020

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