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 (Part-time appointment)
- 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
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
- My VIDI grant proposal Unifying Correctness for Communicating Software has been awarded funding! Read the press releases: [NWO] [RUG1] [RUG2]
- Currently looking for a PhD student, to work in my VIDI project. See the project page for details. Contact me asap if interested.
- 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
- 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
- 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