Hugo A. López

I am a 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 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. Before that I worked as a postdoctoral researcher at the IT University of Copenhagen (with Søren Debois), the Technical University of Denmark (with Flemming and Hanne Riis Nielson), and at the University of Lisbon (with Vasco Vasconcelos). I did my Ph.D. at the IT University of Copenhagen, under direction of Thomas Hildebrandt.

When I am off duty, I dance, gravel bike and do some amateur photography.

Erdos Number: 4

Tel: +45 2993 6842

Software, Data, People and Society Section, Datalogisk Institut

University of Copenhagen

Sigurdsgade 41

2200 Copenhagen N


Nov 21, 2020 I presented our iFM paper on modularization and interaction of process models. Here we explore event synchronization mechanisms, which permits the decomposition of large process models into concurrent components. You can take a look at the talk in youtube.
Sep 17, 2020 Our BPM paper on understandability of declarative process models was presented yesterday. Now we have guidelines on important aspects to consider to improve the quality of process models, such as DCR graphs.
Sep 16, 2020 The site redesign is up! :sparkles: :smile: Some details on the projects page are yet to be finished, but I am happy to have dusted of the site after 10 years.