Jorge A. Pérez (original) (raw)

Professor, University of Groningen, The Netherlands.

Leader, Fundamental Computing group.

Board member / Head of department Computer Science, Bernoulli Institute.

Lead PI, Cyclic Structures in Programs and Proofs (2025-2030).

Editorial board member, Information and Computation.

My CV// DBLP// Google Scholar// ORCID// ACM DL

Research Interests

I study how to design, analyze, and verify reliable programs for concurrent and distributed computing.

• Formal models for concurrent and distributed systems (especially process calculi) and their rigorous verification techniques.
• Type systems for concurrent programming, with a focus on session types and their logical foundations.
• Exploring the expressive power of concurrent models to understand their strenghts and limitations in modeling real-world programs and systems.