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
- VERSEN (the Dutch National association for Software Engineering) has released its manifesto on software research and education in The Netherlands. Read it here. The document describes current challenges, including Software Reliability.
- 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_