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.
NEWS
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!
Read the press release: [RUG]
My VIDI grant proposal Unifying Correctness for Communicating Software has been awarded funding!
See the project page for further information; please contact me if you would like to know more about it.
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
FORTE'18 Relating Process Languages for Security and Communication Correctness (Extended Abstract)
Lectures on RV Runtime Verification for Decentralised and Distributed Systems
JLAMP Reversibility in Session-Based Concurrency: A Fresh Look
FORTE'16 Multiparty Session Types Within A Canonical Binary Theory, and Beyond
ESOP'16 On the Relative Expressiveness of Higher-Order Session Processes
CONCUR'15 Characteristic Bisimulations for Higher-Order Session Processes
PPDP'15 Declarative Interpretations of Session-Based Concurrency
EXPRESS/SOS'15 Comparing Deadlock-Free Session Typed Processes
j.a.perez//at\\rug.nl