Søren is an Associate Professor in the Models group at the IT University of Copenhagen. His current research focuses on concise representations of complex processes, specifically business processes, with an emphasis on the application of tenets of concurrency theory and fundamentals of IT security to business process modelling. Søren is a principal author on the DCR declarative process modelling notation and the architect of the DCR Academic Workbench (http://dcr.tools). He routinely participates both in academic conferences on formal methods in concurrency and industry-oriented knowledge networks on applications of business process management. His research is currently partly funded by Exformatics A/S, a Danish vendor of adaptive case-management systems.