Assistant professor (tenure track - UD1), University of Groningen (NL), within the Johann Bernoulli Institute for Math and CS (JBI)
Part-time appointment at Centrum Wiskunde & Informatica (CWI), within the Formal Methods group.

Previously: Postdoc in Lisbon (with Luís Caires) and PhD Student in Bologna (with Davide Sangiorgi[See CV]

Research Interests 
- Logical foundations of concurrency, most notably CHoCo.
- Formal models for concurrent, distributed, and communication-centric computing. 
- Verification and reasoning techniques: type systemslogics, behavioral equivalences (e.g., bisimulation). 
- Modeling/expressiveness issues for core languages for concurrency.  
See also: A one-page description of my current research interests (for the non specialist)

Current Students
Mauricio Cano (PhD), Milton Antonis, Daan Raatjes, Ana Roman (BSc) 
PhD Opportunities: The University of Groningen started a PhD scholarship program; send me an email if you are interested.


Office: 5161 - 0558