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

  • 16 December 2024

    Jouke de Vries: ‘The University will have to be flexible’

    2024 was a festive year for the University of Groningen. Jouke de Vries, the chair of the Executive Board, looks back.

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

  • 24 May 2024

    Lustrum 410 in pictures

    Lustrum 410 in pictures: A photo report of the lustrum 2024