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.
Share this Facebook LinkedIn

More news

  • 01 July 2025

    Zomernummer Broerstraat 5

    Het zomernummer van RUG-magazine Broerstraat 5 is uit.

  • 01 July 2025

    Khalaf Alkhalaf elected Alumnus of the Year 2025

    Khalaf Alkhalaf has been elected Alumnus of the Year 2025 by the University of Groningen. He has received the award for his commitment to providing good care and guidance to refugees in the Netherlands and the inspiring way in which he shares his...

  • 06 June 2025

    India-Netherlands Hydrogen Valley Fellowship Programme announced

    To coincide with World Environment Day, 5 June 2025, the Indian Department of Science and Technology and the University of Groningen yesterday announced a Hydrogen Valley Fellowship Programme Partnership, allowing talented Indian scholars working on...