CV

My research is in 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.)

My specifically, my research contributes to:

• Process languages and techniques for the development 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.

More informationincluding CV.