Skip to ContentSkip to Navigation
Research Bernoulli Institute

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 April 2024

    UG signs Barcelona Declaration on Open Research Information

    In a significant stride toward advancing responsible research assessment and open science, the University of Groningen has officially signed the Barcelona Declaration on Open Research Information.

  • 02 April 2024

    Flying on wood dust

    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...

  • 18 March 2024

    VentureLab North helps researchers to develop succesful startups

    It has happened to many researchers. While working, you suddenly ask yourself: would this not be incredibly useful for people outside of my own research discipline? There are many ways to share the results of your research. For example, think of a...