JORGE A. PÉREZ
Associate Professor (tenured), University of Groningen, The Netherlands.
Member, Young Academy Groningen.
I am also affiliated with:
We focus on message-passing programs: the backbone of the software infrastructures we all depend on.
iFM'22 Scalable Typestate Analysis for Low-Latency Environments
Rigorous programming models for concurrent and message-passing computation.
I am especially interested in:
January 2021: Work with us! PhD scholarship on Concurrency and Logic. Deadline was March 19.
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!