Professor, University of Groningen, The Netherlands.
Leader, Fundamental Computing group.
Board member / chair of the board, Bernoulli Institute.
Lead PI, Cyclic Structures in Programs and Proofs (2025-2030).
Editorial board member, Information and Computation.
Chair, IFIP Working Group 6.1: Architectures and Protocols for Distributed Systems
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.