Jorge A. Pérez

Associate Professor in Software Foundations (Grondslagen van Software) at the Bernoulli Institute, University of Groningen (NL).

I lead the research group Fundamental Computing.

My research tackles a key societal concern: how to develop error-free computer programs. My current passion is the verification of message-passing programs: the backbone of the software infrastructures we all depend on.

I am also affiliated with:

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


Rigorous programming models for concurrent and message-passing computation.

I am especially interested in:

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

My VIDI project - see the project page.


  • I have been selected as one of the seven new members of the Young Academy Groningen!
    • Read the press release: [RUG]
  • My VIDI grant proposal Unifying Correctness for Communicating Software has been awarded funding!
    • Read the press releases: [NWO] [RUG1] [RUG2]
    • See the project page for further information; feel free to contact me if you would like to know more about it.