Assistant Professor in Computer Science 
Assistant professor (tenure track), University of Groningen (NL) - Johann Bernoulli Institute for Mathematics and Computer Science
Part-time appointment at Centrum Wiskunde & Informatica (CWI), within the Formal Methods group.

Previously I worked as a postdoc in Lisbon (with Luís Caires) and as a PhD Student in Bologna (with Davide Sangiorgi[See CV]

Research Interests 
- 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.  
New: A one-page description of my current research interests (for the non specialist)

j.a.perez//at//    [Also: japerezp//at//] [Official contact info]

Current Students