Jorge A. Perez

Assistant professor (tenure track - UD1) at the Johann Bernoulli Institute for Math and Computer Science (JBI), University of Groningen (NL). Also affiliated with:

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

Research Interests

Rigorous programming models for concurrent, distributed, and communication-centric computation.

I am especially interested in:

  • Logical foundations of concurrency, most notably the Curry-Howard correspondence for Concurrency (CHoCo).
  • Verification and reasoning techniques: type systems, logics, behavioral equivalences (e.g., bisimulation).
  • The expressive power of core programming languages for concurrency.

See a one-page description of my current research interests (for the non specialist)

Open Positions

  • One PhD position available in the NWO-funded project ACCESS. Application deadline is May 14, 2018 (see announcement).