Associate professor (adjunct hoogleraar, tenured), University of Groningen, The Netherlands.
Leader, Fundamental Computing research group, Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence.
Member (and board member), Young Academy Groningen.
CV (October 2023). See also: DBLP // Google Scholar // ORCID // ACM DL.
My research concerns rigorous programming models for concurrent computation, in particular message passing. I am very interested in:
Logical foundations: the Curry-Howard correspondence for Concurrency (CHoCo).
Type systems for concurrency (such as session types).
Comparative expressiveness of models with concurrency.