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, Young Academy Groningen. 

CV (August 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: