JORGE A. PÉREZ
Associate Professor (tenured), University of Groningen, The Netherlands.
Leader, Fundamental Computing group - Bernoulli Institute.
Member, Young Academy Groningen.
I am also affiliated with NOVA LINCS: NOVA Laboratory for Computer Science and Informatics
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.
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!
See the project page.