Prof. dr. Jorge A. Pérez

Jorge A. Pérez is Full Professor at the University of Groningen, The Netherlands, where he leads the Fundamental Computing Group, one of the research groups of the Bernoulli Institute of Mathematics, Computer Science, and Artificial Intelligence.

Pérez obtained his PhD at the University of Bologna (Italy) in 2010 (supervisor: Davide Sangiorgi) and worked as post-doctoral researcher at NOVA University Lisbon (Portugal) during 2010-2014 (supervisor: Luís Caires). He joined the University of Groningen in April 2014. His research interests concern Concurrency Theory, Semantics of Programming Languages, and Logic in Computer Science. He has graduated five PhD students, and currently supervises other two.

During 2019-2024, Pérez research was funded by the Dutch Research Council (NWO) under a prestigious VIDI personal grant entitled Unifying Correctness for Communicating Software. Currently, he is the lead PI of the project Cyclic Structures in Programs and Proofs, a 3Meuro national consortium, funded by NWO, that brings together researchers from five Dutch universities.

Pérez is a former elected member (and board member) of the Young Academy Groningen. Moreover, since June 2024, he serves as board member of the Bernoulli Institute and as head of department Computer Science, which comprises seven research groups and over 30 staff members.