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 a Tenure-track Assistant Professor in Computer Science at the Technical University of Denmark. Previously I was Assistant Professor at the University of Copenhagen. Before that I worked as an industrial posdoct researcher at the IT University of Copenhagen and DCR Solutions, the Technical University of Denmark, and at the University of Lisbon. 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
DTU Compute - Department of Applied Mathematics and Computer Science
Technical University of Denmark
Asmussens Alle, Build. 322, entrance east
2800 Kongens Lyngby, Denmark
|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! Some details on the projects page are yet to be finished, but I am happy to have dusted of the site after 10 years.|