معرفی
Jorge A. Pérez is an Associate Professor in Software Foundations at the University of Groningen, Netherlands. He leads the Fundamental Computing group and serves as Head of Computer Science at the Bernoulli Institute. His research focuses on rigorous programming models for concurrent and message-passing systems, with emphasis on session types and formal verification techniques.
Education:
- PhD in Computer Science (2007-2009), University of Bologna, Italy
- Postdoc at NOVA University of Lisbon (2010-2014)
- Visiting Professor at University of Buenos Aires (2012)
Research Interests: Programming languages, formal verification, session types, concurrency theory, and logic-based approaches to software correctness. His work bridges foundational theory with practical applications in distributed systems.
Grants & Awards:
- NWO VIDI grant (2018)
- Member of Young Academy Groningen (2019-2024)
- NWO TOP2 grant (2018)
Advising: Supervises PhD students in concurrency theory and session types. Notable advisees include Juan C. Jaramillo and Bas van den Heuvel. Teaches core courses on formal methods, automata theory, and programming language semantics.
Labs/Teams: Leads the Fundamental Computing group, focusing on logical foundations of computation and their application to concurrent systems. Collaborates with international networks like the EU COST Actions on Behavioral Types and Runtime Verification.
