Research areas and Publications: Formal process models and semantics for concurrent, distributed and mobile systems, and their strategic applications to the development of new process languages and technologies for trustworthy, process- and service-oriented information systems, involving both computers, humans and their surrounding context.
Flyer from 2013 presenting my research and projects.
Specifically, my research contributes to:
- Process languages and techniques for the engineering of workflow and business process management systems supporting flexible, adaptive, distributed and mobile processes.
- Meta-modelling techniques for concurrent, mobile and context-aware processes.
- Foundational reasoning techniques for higher-order mobile computing processes.
Current Research Projects:
- Computational Artifacts - Towards a design-oriented theory of computational artifacts in cooperative work practices. Interdisciplinary research project funded by the Velux foundation from 2014-2017 and including University of Copenhagen, Copenhagen Business School and
IT University of Copenhagen.
Past Research Projects:
News:
Upcoming events in 2017:
- 15th International Conference on Business Process Management (BPM 2017), Barcelona, Spain. September 10-15, 2017 (PC member and Co-chair, Industry track)
- 28th International Conference on Concurrency Theory
(CONCUR 2017), Berlin, Germany. September 4-9, 2017 (PC member)
- 3rd International Workshop on Meta Models for Process Languages (MeMo) 2017 (Co-chair & organiser)
- Algorithms & Theories for the Analysis of Event Data 2017 (Keynote speaker),
affiliated with PN 2017 & ACSD 2017, June 26 - 27, Zaragoza, Spain
Past events in 2011- 2017:
- 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), ETAPS 2017: 22-29 April 2017, Uppsala, Sweden (PC member)
- 32nd ACM Symposium on Applied Computing (SAC 2017), Marrakesh, Morocco, April 3-7, 2017 (Paper "Declarative Process Mining for DCR Graphs" accepted for the BPMEA track.)
- 3rd ACM Cyber-Physical System Security Workshop
(CPSS 2017),
held in conjunction with ACM AsiaCCS'17
Abu Dhabi, UAE, April 2, 2017 (PC member)
- 11th International Conference on
Language and Automata Theory and Applications (LATA 2017),
Umeaa, Sweden
March 6-9, 2017 (Paper "A Stable Non-interleaving Early Operational Semantics for the Pi-calculus" accepted)
- Privacy-by-design and the General Data Protection Regulation (GDPR) with DCR Graphs, Databeskyttelsesdagen 2017 (invited speaker)
- CFIR and innovationnetwork for finance and IT: Forberedt paa den nye persondataforordning, October 31th, 2016 (Moderator and presenter, in danish)
- 14th International Conference on Business Process Management (BPM 2016),
Rio de Janeiro, Brazil, September 18-22, 2016 (PC member)
- Flexible, Adaptable & Compliant Business Systems with Dynamic Condition Response Graphs,
Formal methods for Analysis of Business Systems (ForMABS), Co-located with ASE 2016, September 4th, 2016 (Keynote speaker)
- Modelling Security Policies and Emergency Procedures with DCR Graphs Advanced Digital Sciences Center (ADSC), Singapore, September, 2016, (Invited talk)
- 29th IEEE Computer Security Foundations Symposium (CSF), Lisbon, June, 2016, (Paper: In the Nick of Time:
Proactive Prevention of Obligation Violations, D. Basin and S. Debois)
- 1st Workshop on Safety & Security aSSurance
for Critical Infrastructures Protection (S4CIP 16), in conjunction with the 7th International Conference on Ambient Systems, Networks and Technologies
ANT 2016
Madrid, Spain, May 23-26, 2016. (Paper "An Experience Report on Constraint-based Modelling and Simulation of Railway Emergency Response Plans" accepted)
- How do we prepare for a coordinated cyber-physical attack on critical infrastructures?, InfoSecurity 2016, May 3rd-4th, Copenhagen, Denmark (Joint keynote with David Basin)
- Finance IT Day, September 10th, 2015
- Infinit seminar: Agil og visionaer eller orienteret mod vandfaldsmodel og kravspecifikation, September 15th, 2015
- CFIR and innovationnetwork for finance and IT: Grunddata og forretningsprocesser i finansielle virksomheder, September 24th, 2015 (Moderator and presenter, in danish)
- 5th International Conference on Current and Future Trends of Information
and Communication Technologies in Healthcare (ICTH 2015), Berlin, Germany on September 27-30, 2015. (PC member)
- 12th International Colloquium
on Theoretical Aspects of Computing - ICTAC 2015, Pontificia
Universidad Javeriana in Cali, Colombia, 29th to 31st of October, 2015 (PC member)
- 2nd International Workshop on Software Engineering and Industrial Practice (SER&IP 2015), May 17, 2015 (Paper accepted: Bridging the Valley of Death (Bringing research from technology readiness level 1 to 9), co-authored with S. Debois, M. Marquard and T. Slaats
- 2nd International Workshop on Meta Models for Process Languages (MeMo 2015, Satellite workshop of DisCoTec 2015), Grenoble, France, June 5, 2015 (PC Member & organizer)
- International Workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, June 22-23, 2015 (PC member)
- 20th International Symposium on Formal Methods, Oslo, Norway, June 22-26, 2015 (Paper accepted: Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes co-authored with S. Debois and T. Slaats )
- Combined 22th International Workshop on
Expressiveness in Concurrency and 12th Workshop on
Structural Operational Semantics (PC member), August 31, 2015
Madrid, Spain
Affiliated with CONCUR 2015
- 26th International Conference on Concurrency Theory (CONCUR 2015), Universidad Complutense de Madrid, 1-4 September 2015 (PC member)
- 13th International Conference on Business Process Management,
Innsbruck, Austria, August 31 - September 3, 2015 (PC member, papers accepted)
- International Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015), September, 2015 (PC member)
- Processer i finans og it: Continuous delivery, usability-evaluation and compliancy (host and presenter), March 5, 2015.
- A brief presentation on benefits and challenges on supervising an industrial PhD in Denmark
- Effektive forretningsprocesser sikres gennem agil it-udvikling?, Innovation Network for IT (InfinIT) and Innovation Network for Finance IT (IFFI), October 23, 2014, (Invited Speaker on Adaptive Case Management)
- IT supported process management in healthcare - what should be standardized
and what should not? Invited speaker at seminar on standardization of the healthcare sector: Bliver standardiserede digitale platforme nøglen til sundhedsvaesenets fremadrettede professionalisering eller apokalypse?, E-sundhedsobservatoriet, DaCHI, Aalborg Universitet, August 25, 2014
- Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14),
April 12, 2014, Grenoble, France (PC member)
- 1st International Workshop on Meta Models for Process Languages (MeMo) 2014,
affiliated to DisCoTec, June 6th, 2014, Berlin, Germany (PC chair)
- International Workshop on Petri Nets and Software Engineering (PNSE'14),
Tunis, Tunisia, June 23-24, 2014 (PC member)
- 12th International
Conference on Business Process Management, Sept 7-14, 2013, TU/e, Eindhoven, Netherlands (PC member)
- 3rd Workshop on Data- & Artifact-centric BPM (DAB'14), September 8, 2014, TU/e, Eindhoven, Netherlands (PC member)
- 11th
International Workshop on Web Services and Formal Methods: Formal
Aspects of Service-Oriented and Cloud Computing, September 11-12, TU/e, Eindhoven, Netherlands (Co-chair)
- The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), September 22-25, 2014, Halifax, Nova Scotia, Canada (PC member)
- Digitalisering: BPM Udfordringer og Lean løsninger, 25 November, 2013, Deloitte, Copenhagen, (Keynote speaker, in danish)
- PNSE'13,
International Workshop on Petri Nets and Software Engineering,
Milano, Italy, June 24-25, 2013,
a satellite event of
Petri Nets 2013 (PC Member)
- 11th International
Conference on Business Process Management, August 26-30, 2013, Beijing, China (PC Member)
- 2nd
International Workshop on Data and Artifact-Centric Business
Process Management (DAB 2013), August 26, Beijing, China (PC
Member)
- 10th
International Workshop on Web Services and Formal Methods: Formal
Aspects of Service-Oriented and Cloud Computing, August
29-30, Beijing, China (PC Member)
- Combined 20th International Workshop on
Expressiveness in Concurrency
and 10th Workshop on
Structural Operational Semantics,
Monday, August 26, 2013
Buenos Aires, Argentina. Affiliated with CONCUR 2013.
(PC Member)
- 5th Workshop on
Programming Language Approaches to Concurrency and
Communication-cEntric Software (PLACES)Rome, Italy, March
23th, 2013, affiliated to ETAPS 2013 (PC Member)
- Foundations
of Aspect-Oriented Languages Workshop (FOAL 2013), Fukuoka,
Japan, March 26, 2013 (Paper),
- 3rd
International Workshop on Bigraphs(Bigraph 2013), Copenhagen, Denmark, February 16th, 2013 (Chair)
- Temadag om Digital Forvaltning i et strategisk perspektiv,
Vejle 26. Oktober 2012, Vejle (Keynote speaker, in danish)
- Get
FIT - Forbedrede finansielle processer med Business Process
Management?, 25 September, 2012, Finanssektorens Hus, Copenhagen, (Keynote speaker, in danish)
- 10th International Conference on Business Process Management, September 3-6, 2012, Tallinn, Estonia (PC Member)
- Sixth Workshop on
Formal Languages and Analysis of Contract-Oriented Software
(FLACOS 2012), 19 September, Bertinoro, Italy (PC Member,
Invited Presentation)
- 11th International Workshop on Foundations of
Coordination Languages and Self Adaptation (FOCLASA 2012),
September 8th, 2012, Newcastle upon Tyne, UK (PC Member)
- 2nd International Symposium on
Fundations of Health Information Engineering and Systems (FHIES
2012), August 27-28, 2012, Paris, France (Paper)
- International Workshop on Petri Nets and Software Engineering (PNSE'12) (PC member) - satellite event of the 33rd International Conference on
Application and Theory of Petri Nets and Concurrency
and the
12th International Conference on
Application of Concurrency to System Design, Hamburg, Germany,
June 2012
- Videnarbejde - proces og digitalisering: Kan videnarbejdet lÊgges i proces og digitaliseres?, VidenDanmark, January 25, 2012 (invited speaker, in danish)
- Software
Verification and Testing Track at the 27th ACM Symposium On
Applied Computing, Riva del Garda (Trento), Italy, March 26-30,
2012 (paper)
- 4th International Workshop on Foundations of Interface
Technologies (FIT 2012), Satellite Workshop at ETAPS 2012
Tallinn, Estonia, March 25, 2012 (paper)
- 9th International Conference on
Software Engineering and Formal Methods
November 14-18, 2011
Montevideo, Uruguay (paper)
- 23rd Nordic Workshop
on Programming Theory (NWPT'11), October 26th - 28th, 2011 (short papers)
- The Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, Malaga, Spain, September 22-23, 2011 (invited speaker)
- The First International Symposium on
Foundations of Health Information Engineering and Systems, 29-30 August 2011 Johannesburg, South Africa
- The Fifteenth IEEE International EDOC Conference, 29th August - 2nd September 2011, Helsinki, Finland (paper)
- Fundamentals of Software Engineering
April 20-22, 2011
Tehran, Iran
(paper)
Current PhD students: Haakon Normann (2015-2017, CompArt project, funded by the Velux foundation.)
Past PhD students: Tijs
Slaats (2012-2014, Industrial PhD
at Exformatics), Francesco Zanitti (Jingling Genies, co-supervised with A. Glenstrup and S. Debois), Gian Perrone (Jingling Genies), Maxime
Beauquier (TrustCare, co-supervised with Carsten Schurmann),
Espen Højsgaard
(CosmoBiz project),
Hugo A. Lopez
(co-financed by Resultmaker
A/S), Raghava Rao Mukkamala
(TrustCare),
Lasse Nielsen (DIKU, TrustCare,
co-supervised with F. Henglein, DIKU),
Mikkel Bundgaard
,
S. Debois (BPL project, co-supervised with L. Birkedal),
Karen Marie Lyng (DIKU, co-financed by Resultmaker A/S and co-supervised with F. Kensing),
Courses at ITU, Spring 2017: IT and Business
Process Modelling(BSc)/Business Process Modelling and Analysis (MSc) 2017,
Past Courses at ITU (2005-2016):
Critical Systems Seminar, Critical Systems Project,IT and Business
Process Modelling 2016, Critical Systems Seminar, Critical Systems Project, IT and Business
Process Modelling 2015, Second Year Project: Software Development in Large Teams with International Collaboration, Advanced MSc and PhD reading group on Process Mining, Advanced Mobile and Distributed Systems Seminar (Autumn 2014), IT and Business
Process Modelling 2014 , Advanced
Mobile and Distributed Systems Seminar Fall 2013, Mobile and
Distributed
Systems Fall 2013, IT and Business
Process Modelling 2013 Mobile and
Distributed
Systems Fall 2012, Advanced
Mobile and Distributed Systems Seminar Fall 2012, IT and Business
Process Modelling 2012 Project cluster: Second Year Project and Mobile and Distributed Systems, Distributed Systems and Protocols (B.Sc. course), Distributed Systems and Protocols, Modelling and Design, Process and Data
Modelling (Spring 2007),
XML-processing -
methods, tools and theories (Spring 2006), Location Based Mobile Applications, Process and Data
Modelling (introductory) , Introductory Programming (course responsible)
Process and Data
Modelling (introductory)
Model-based Design of
Distributed and Mobile Systems (advanced), XML-processing -
methods, tools and theories, Location Based Mobile
Applications.
|