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
-
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.
-
01 July 2025
Khalaf Alkhalaf elected Alumnus of the Year 2025
Khalaf Alkhalaf has been elected Alumnus of the Year 2025 by the University of Groningen. He has received the award for his commitment to providing good care and guidance to refugees in the Netherlands and the inspiring way in which he shares his...