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
- Rigorous programming models with concurrency (in particular, process calculi) and their verification techniques.
- Type systems for concurrency (in particular, session types) and their logical foundations.
- The expressive power of models of concurrency, both typed and untyped.