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
-
30 September 2025
Lieutenant General Elanor Boekholt-O’Sullivan awarded the Aletta Jacobs Prize 2026
The University of Groningen (UG) has awarded the Aletta Jacobs Prize 2026 to Elanor Boekholt-O’Sullivan, the first female lieutenant general in the Dutch armed forces. The prize will be presented on Friday 6 March 2026 by the Rector Magnificus of...
-
15 September 2025
Successful visit to the UG by Rector of Institut Teknologi Bandung
The Rector of Institut Teknologi Bandung (ITB), Prof Tatacipta Dirgantara, paid a 3-day visit to the UG.
-
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.