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
-
05 December 2018
Photo report: The treasures of the University Library
Photo report on the most special and oldest books of the university.
-
26 November 2018
Anouk Goossens receives Shell Award for researching building blocks of the electronic brain
On Monday, November 26, UG researcher Anouk Goossens receives the Shell Award. This prize is awarded annually to three (former) physics students. Goossens receives the prize for her investigation into using the material Nb-doped SrTiO3 for imitating...
-
23 November 2018
Large Wadden Fund grant for researching underwater nature in Wadden Sea
A bountiful and healthy Wadden Sea is an indispensable link in the life cycles of many migratory birds and fish. This is why the Wadden Fund and the three Wadden provinces – Groningen, Friesland and Noord-Holland – strive for the creation of such a...