Skip to ContentSkip to Navigation
ResearchBernoulli 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

  • 11 July 2019

    Major companies’ annual reports too vague about climate impact

    Many major Dutch companies publish extensive information about climate impact in their annual reports. However, very few companies provide concrete, detailed information about their own CO2 emissions, the impact of climate change on their business...

  • 08 July 2019

    UG permanently closes Yantai project

    The University of Groningen (UG) has permanently closed the project aimed at creating a branch campus in Yantai. Discussions were held with China Agricultural University, the city of Yantai and the Province of Shandong.

  • 03 July 2019

    Cheap train tickets boost public transport use but reduce customer satisfaction

    Offers of cheap single train tickets through retailers such as Kruidvat or Etos have a positive impact on the number of kilometres travelled by rail. This impact is much bigger than that of more general TV, newspaper or magazine advertising. However,...