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
-
16 December 2024
Jouke de Vries: ‘The University will have to be flexible’
2024 was a festive year for the University of Groningen. Jouke de Vries, the chair of the Executive Board, looks back.
-
10 June 2024
Swarming around a skyscraper
Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...
-