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: