Skip to ContentSkip to Navigation
OnderzoekBernoulli Institute

Jorge Perez (Computer Science, Fundamental Computing) wins NWO VIDI and TOP grants

01 juni 2018

The projects of Dr. Jorge Perez "Unifying Correctness for Communicating Software" and "Advanced Structures for Correct Communicating Software" were awarded an NWO VIDI and NWO TOP grants respectively.

"Unifying Correctness for Communicating Software" focuses on discovering and validating in practice the fundamental connections between the different programming techniques that help developers to produce error-free communicating software.

"Advanced Structures for Correct Communicating Software" aims to deliver a rigorous, comprehensive description of how distinct behavioral type systems for concurrency relate to each other. By reconciling their currently disparate foundations into a mature body of knowledge, ACCESS will provide a long-lasting reference for behavioral type systems.

More information is available in the following links:

Laatst gewijzigd:21 juni 2018 13:18

Meer nieuws

  • 21 juni 2018

    Grenzeloos lallen met Martijn Wieling op Lowlands Science

    Het is bekend dat alcoholgebruik spraak negatief beïnvloedt, maar hoe zit dat bij het spreken van een vreemde taal? Onderzoek suggereert dat het effect hier juist positief lijkt te zijn. Onduidelijk is echter wat er in de mond gebeurt. Dr. Martijn Wieling...

  • 08 juni 2018

    Waardedaling woningen in aardbevingsgebied tot 2015 gemiddeld 9,3%

    Woningen in het Groningse aardbevingsgebied zijn tot 2015 gemiddeld 9,3% in waarde gedaald. Dat concluderen promovendus Nicolás Durán en hoogleraar Ruimtelijke Econometrie Paul Elhorst van de Rijksuniversiteit Groningen. Zij analyseerden data van de...

  • 06 juni 2018

    RUG op plek 120 in QS ranking

    De Rijksuniversiteit Groningen (RUG) staat dit jaar op plaats 120 in de QS World Top University Rankings 2019. Afgelopen twee jaar stond de RUG opplaats 113 in deze lijst van bijna 1.000 universiteiten wereldwijd. Op nationale schaal is Groningen dit...