Team

• modelling and analysis of concurrent systems (concurrency theory)
• analysis and adaptations of modelling languages
• process calculi, Petri-nets, event structures, multiparty session types, …
• distributed algorithms
• interactive theorem proving

Publications

My publications are available at DBLP or Google Scholar.