Jorge A. Pérez
Jorge A. Pérez
Associate Professor in Software Foundations - University of Groningen.
Leader, Fundamental Computing group - Bernoulli Institute.
I am also affiliated with:
My research group tackles a key societal concern: how to develop error-free computer programs. Our current passion is the verification of message-passing programs: the backbone of the software infrastructures we all depend on.
My research group tackles a key societal concern: how to develop error-free computer programs. Our current passion is the verification of message-passing programs: the backbone of the software infrastructures we all depend on.
RESEARCH INTERESTS
RESEARCH INTERESTS
Rigorous programming models for concurrent and message-passing computation.
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
NEWS
- 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!
- Read the press releases: [NWO] [RUG1] [RUG2]
- See the project page for further information; feel free to contact me if you would like to know more about it.
SELECTED PAPERS
SELECTED PAPERS
- Inf & Comp On the Relative Expressiveness of Higher-Order Session Processes
- CONCUR'19 Domain-Aware Session Types
- ECOOP'19 Minimal Session Types
- TFP'18 Reversible Choreographies in Haskell
- FORTE'18 Relating Process Languages for Security and Communication Correctness (Extended Abstract)
- Lectures on RV Runtime Verification for Decentralised and Distributed Systems
- PPDP'17 Causally Consistent Reversible Choreographies
- FORTE'17 Session-Based Concurrency, Reactively
- JLAMP Reversibility in Session-Based Concurrency: A Fresh Look
- ESOP'17 Linearity, Control Effects, and Behavioral Types
- 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
CONTACT
CONTACT
- Contact information at University of Groningen
- j.a.perez//at//rug.nl [japerezp//at//gmail.com]
- Office: Bernoulliborg (5161) 0558
- Coming to the Bernoulli Institute
- www.jperez.nl
- Twitter: @PerezJorgeA_