Jorge Pérez
Full Professor at University of Groningen
Groningen, Groningen, Netherlands
Summary
👤
Senior🎓
Top SchoolJorge Pérez is a Full Professor at the University of Groningen leading the "Fundamental Computing" group, with 11 years of academic experience developing rigorous models and techniques for reasoning about program correctness. His research centers on the semantics of programming languages, particularly concurrent and distributed systems, blending deep theoretical work with practical type- and logic-based approaches to secure and reliable software. He progressed through positions from postdoc roles in Portugal to assistant and associate professorships in Groningen, and holds a PhD in Computer Science from the University of Bologna. Jorge’s background in higher-order concurrency and collaborations with international groups like CMU and INRIA reflect a rare combination of expressiveness and decidability expertise that informs both teaching and research.
11 years of coding experience
23 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Alma Mater Studiorum – Università di BolognaEngineering Degree in Computer Science, Engineering Degree in Computer Science at Pontificia Universidad Javeriana
English, Spanish, Italian, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (2)
distributed-computing9
federated8
Programming languages (1)
Github contributions (4)
japerezp/japerezp.github.io
Mar 2020 - Feb 2025
Contributions:76 pushes, 1 branch in 4 years 11 months
Dimitris-Kouzapas/HO
Aug 2014 - Jul 2019
Contributions:216 commits, 425 pushes in 4 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.