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
-
04 July 2025
University of Groningen awards different prizes during Ceremony of Merits
The UG awarded different prizes to excellent researchers and students during the Ceremony of Merits on 4 July 2025.
-
02 July 2025
Relinde Weil reappointed as a member of the Supervisory Board UG
The Minister of Education has reappointed Relinde Weil for a second term as a member of the Supervisory Board of the University of Groningen.
-