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 within the Bernoulli Institute of Mathematics, Computer Science, and Artificial Intelligence.

He obtained his PhD from the University of Bologna (Italy) in 2010 under the supervision of Davide Sangiorgi. From 2010 to 2014, he was a postdoctoral researcher at NOVA University Lisbon (Portugal), working with Luís Caires. He joined the University of Groningen in April 2014.

His research focuses on concurrency theory, the semantics of programming languages, and logic in computer science. He has supervised five PhD students to completion and currently supervises two more.

Between 2019 and 2024, his research was supported by a prestigious Vidi grant from the Dutch Research Council (NWO) for the project Unifying Correctness for Communicating Software. He is currently the lead principal investigator of Cyclic Structures in Programs and Proofs, a €3 million 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. Since June 2024, he has served as a board member of the Bernoulli Institute and as Head of the Computer Science Department, which comprises seven research groups and over 30 staff members.