Professor, University of Groningen, The Netherlands.
Leader, Fundamental Computing group.
Member of the board / Head of department Computer Science, Bernoulli Institute.
Project coordinator (lead PI), Cyclic Structures in Programs and Proofs (2025-2030).
My CV // DBLP // Google Scholar // ORCID // ACM DL
Research Interests
I study how to design, analyze, and verify reliable programs for concurrent and distributed computing.
- Formal models for concurrent and distributed systems (especially process calculi) and their rigorous verification techniques.
- Type systems for concurrent programming, with a focus on session types and their logical foundations.
- Exploring the expressive power of concurrent models to understand their strenghts and limitations in modeling real-world programs and systems.