JORGE A. PÉREZ

Welcome to my website! I am an associate professor (adjunct hoogleraar, tenured) at the University of Groningen, The Netherlands.

I am the leader of the Fundamental Computing research group, part of the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence.

I am also a member of the Young Academy Groningen. You can read more about me and download my CV.

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

RESEARCH

Rigorous programming models for concurrent and message-passing computation.

I am especially interested in:

  • Logical foundations: the Curry-Howard correspondence for Concurrency (CHoCo).

  • Verification techniques: in particular type systems (such as session types).

  • Comparative expressiveness of models and languages with concurrency.


My VIDI project - see the project page.

HIGHTLIGHTS

NEWS

  • January 2021: Work with us! PhD scholarship on Concurrency and Logic. Deadline was March 19.

  • VERSEN (the Dutch National association for Software Engineering) released its manifesto on software research and education. Read it here.

  • My student Mauricio Cano has successfully defended his PhD thesis ("Session-based concurrency: between operational and declarative views") on January 7, 2020!

  • I have been selected as one of the seven new members of the Young Academy Groningen!

    • Press release: [RUG]

  • My VIDI grant proposal Unifying Correctness for Communicating Software has been awarded funding!