Skip to ContentSkip to Navigation
ResearchBernoulli Institute

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

01 June 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:

Last modified:21 June 2018 1.18 p.m.

More news

  • 15 May 2019

    Academy Medal for Trudy Dehue

    Trudy Dehue, scientific sociologist, author and emeritus professor of the University of Groningen, will receive the Academy Medal from the Royal Netherlands Academy of Arts and Sciences (KNAW). The Academy Medal is awarded every other year to individuals...

  • 15 May 2019

    Van Rijn advice hits UG hard

    The advice from the Van Rijn committee concerning the funding of higher education has heavy consequences for the UG as a broad-based classical university. The proposed redistribution of funds in favour of technical sciences is at the expense of degree...

  • 14 May 2019

    Number of children with type 1 diabetes doubled

    The number of children who are annually diagnosed with type 1 diabetes has doubled over the last 30 years. This is one of the conclusions of the PhD thesis written by Angelien Spaans-Hummelink, who works as a paediatrician at the diabetes clinic at...