Dr. Jorge Perez selected to the Young Academy Groningen
19 March 2019
One of the seven new members to join the Young Academy Groningen, a club for the University’s most talented, enthusiastic and ambitious young researchers, is Dr. Jorge Perez, member of the Fundamental Computing group at the Bernoulli Institute. Dr. Perez is interested in rigorous programming models for concurrent, distributed, and communication-centric computation, particularly 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) and the expressive power of core programming languages for concurrency. He is the recipient of a NWO VIDI and an NWO TOP.
Join us in congratulating Dr. Perez for his success!
More information about the new members of the Young Academy Groningen is available here.
| Last modified: | 21 March 2019 1.52 p.m. |
More news
-
04 July 2025
University of Groningen awards various prizes during Ceremony of Merits
The UG awarded different prizes to excellent researchers and students during the Ceremony of Merits on 4 July 2025.
-
02 July 2025
Relinde Weil reappointed as a member of the Supervisory Board UG
The Minister of Education has reappointed Relinde Weil for a second term as a member of the Supervisory Board of the University of Groningen.
-