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
My research addresses the urgent need for rigorous foundations in reliable communicating programs, particularly as automated tools churn out unreliable code at an unprecedented scale. I focus on the analysis and verification of programs for concurrent and distributed computing, exploring:
- Formal models for concurrent and distributed systems (especially process calculi) and their verification techniques for ensuring correctness
- Type systems for concurrent programming, with a focus on session types and their logical foundations
- The expressive power of concurrent models to better understand their strenghts and limitations in modeling real-world systems
I pursue a maximalist approach to correct-by-construction message-passing programs, combining rich specification languages with the strongest correctness guarantees possible. My recent work on context-free session types with deadlock freedom by typing (FORTE 2026) exemplifies this vision.