معرفی
Jorge A. Pérez Parra is an Associate Professor in Software Foundations at the Faculty of Science and Engineering, University of Groningen, Netherlands. He holds a tenured position with ius promovendi and has been a leader of the Fundamental Computing group since 2019. He also serves as Head of the Computer Science department within the Bernoulli Institute since 2024. His academic career includes roles as an Assistant Professor (2014–2019), postdoc researcher at NOVA University of Lisbon (2010–2014), and visiting professorships at the University of Buenos Aires and the University of Bologna.
Education:
- PhD in Computer Science, University of Bologna (2007–2009)
- Research Assistant, Universidad Javeriana Cali (2002–2006)
Research Interests: Focuses on rigorous programming models for concurrency, session types, and their logical foundations. Explores type systems for concurrency, deadlock freedom, and the expressiveness of process calculi. Current work emphasizes asynchronous session-based systems, cyclic process networks, and non-determinism in functional and concurrent settings.
Advising & Grants: Supervises PhD students (e.g., Juan Jaramillo, Bas van den Heuvel) and postdocs (e.g., Dan Frumin). Leads the NWO ENW XL project "Cyclic Structures in Programs and Proofs". Previously coordinated the Young Academy Groningen (2019–2024). Has supervised over 20 BSc and MSc students on topics like formal program specification and concurrency theory.
Labs/Teams: Leads the Fundamental Computing group, which investigates foundational aspects of computing with a focus on logic, types, and concurrency. Collaborates on projects like executable semantics of session types in Maude and causal consistency in multiparty protocols.
