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 Brief 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), Elton Antonis, Daan Raatjes, Ana Roman (BSc) 

PhD Opportunities:
- The University of Groningen has a PhD scholarship program. If you are interested: first read carefully the program description; after that, send me an email (subject: "I've read the instructions!") with your CV, detailing your motivation.
- If you have your own scholarship/funding for a PhD position: 
send me an email (subject: "Externally funded PhD student") enclosing your CV and detailing your motivation.


Office: 5161 - 0558