Jorge Perez (Computer Science, Fundamental Computing) wins NWO VIDI and TOP grants
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:
- https://www.rug.nl/news/2018/06/nine-ug-researchers-receive-vidi-grant
-
https://www.nwo.nl/en/news-and-events/news/2018/05/5.7-million-euros-made-available-for-leading-research-in-astronomy-computer-science-and-mathematics.html
| Last modified: | 21 June 2018 1.18 p.m. |
More news
-
24 March 2025
UG 28th in World's Most International Universities 2025 rankings
The University of Groningen has been ranked 28th in the World's Most International Universities 2025 by Times Higher Education. With this, the UG leaves behind institutions such as MIT and Harvard. The 28th place marks an increase of five places: in...
-
05 March 2025
Women in Science
The UG celebrates International Women’s Day with a special photo series: Women in Science.
-
16 December 2024
Jouke de Vries: ‘The University will have to be flexible’
2024 was a festive year for the University of Groningen. In this podcast, Jouke de Vries, the chair of the Executive Board, looks back.