Associate professor (adjunct hoogleraar, tenured), University of Groningen, The Netherlands.

Leader, Fundamental Computing group, Bernoulli Institute.

Member (and board member), Young Academy Groningen. 


See also: 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.