JORGE A. PÉREZ
Associate Professor (tenured), University of Groningen, The Netherlands.
Leader, Fundamental Computing group - Bernoulli Institute.
Member, Young Academy Groningen.
I am also affiliated with:
Read more about me and download my CV.
My research group tackles a key societal concern: how to develop error-free computer programs.
We focus on message-passing programs: the backbone of the software infrastructures we all depend on.
HIGHTLIGHTS
FSCD'21 Non-Deterministic Functions as Non-Deterministic Processes
ESOP'21 Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
PLACES'20 Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Inf & Comp On the Relative Expressiveness of Higher-Order Session Processes
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
January 2021: Work with us! PhD scholarship on Concurrency and Logic. Deadline was March 19.
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!
Press release: [RUG]
My VIDI grant proposal Unifying Correctness for Communicating Software has been awarded funding!
See the project page.
(Photo credit: Pixabay)
j.a.perez//at\\rug.nl