Jorge A. Pérez
Associate Professor (tenured) in Software Foundations - University of Groningen.
Leader, Fundamental Computing group - Bernoulli Institute.
I am also affiliated with:
You can read about me and download my CV.
My research group tackles a key societal concern: how to develop error-free computer programs.
Our current focus is the rigorous verification of message-passing programs: the backbone of the software infrastructures we all depend on.
RESEARCH INTERESTS
Rigorous programming models for concurrent and message-passing computation.
I am especially interested in:
Logical foundations of concurrency: the Curry-Howard correspondence for Concurrency (CHoCo).
Verification techniques: type systems (e.g., session types), logics, behavioral equivalences (e.g., bisimulation).
The expressive power of core programming languages with concurrency.
(SELECTED PAPERS
PLACES'20 Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Inf & Comp On the Relative Expressiveness of Higher-Order Session Processes
Lectures on RV Runtime Verification for Decentralised and Distributed Systems
FORTE'16 Multiparty Session Types Within A Canonical Binary Theory, and Beyond
(Photo credit: Pixabay)
NEWS
January 2021: Work with us! PhD scholarship on Concurrency and Logic. More information and application instructions here.
VERSEN (the Dutch National association for Software Engineering) released its manifesto on software research and education. Read it here.
My student Mauricio Cano has successfully defended his PhD thesis ("Session-based concurrency: between operational and declarative views") on January 7, 2020!
I have been selected as one of the seven new members of the Young Academy Groningen!
Press release: [RUG]
My VIDI grant proposal Unifying Correctness for Communicating Software has been awarded funding!
See the project page.
(Photo credit: Pixabay)
j.a.perez//at\\rug.nl