Jorge A. Perez
Assistant professor (tenure track - UD1) at the Bernoulli Institute for Mathematics, Computer Science, and AI, University of Groningen (NL).
My research group is Fundamental Computing.
I am also affiliated with:
- Centrum Wiskunde & Informatica (CWI), Formal Methods group (Associated member)
- NOVA LINCS: NOVA Laboratory for Computer Science and Informatics (Integrated member)
Previously: Postdoc in Lisbon (with Luís Caires) and PhD Student in Bologna (with Davide Sangiorgi)
Research Interests
Research Interests
Rigorous programming models for concurrent, distributed, and communication-centric computation.
I am especially interested in:
- Logical foundations of concurrency, most notably the Curry-Howard correspondence for Concurrency (CHoCo).
- Verification and reasoning techniques: type systems (e.g., session types), logics, behavioral equivalences (e.g., bisimulation).
- The expressive power of core programming languages for concurrency.
See a one-page description of my current research interests (for the non specialist)
LATEST NEWS
LATEST NEWS
- 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.
- I am in the organizing committee of the Opening Symposium of the Bernoulli Institute for Mathematics, Computer Science, and AI. Register now and attend on November 1, 2018.
Selected Recent Papers
Selected Recent Papers
- 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
- j.a.perez//at//rug.nl [japerezp//at//gmail.com]
- Office: Bernoulliborg (5161) 0558
- Contact information at University of Groningen
- Coming to the Bernuolli Institute
- www.jperez.nl