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
-
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...
-
-
21 May 2024
Results of 2024 University elections
The votes have been counted and the results of the University elections are in!