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
-
12 February 2019
UG awards honorary doctorates to Philipp Blom and Titia de Lange
The University of Groningen (UG) will be awarding honorary doctorates to Prof. Titia de Lange and Dr Philipp Blom during its anniversary week in June 2019. Historian Blom will be awarded an honorary doctorate at the suggestion of Prof. Ann-Sophie Lehmann...
-
07 February 2019
Hoogleraar Stynke Castelein wint de Vrouw in de Media Award Groningen
Prof. dr. Stynke Castelein, hoogleraar aan de Rijksuniversiteit Groningen en hoofd onderzoek bij Lentis, ontvangt de Vrouw in de Media Award 2018 Groningen.
-
31 January 2019
Marc Kramer is RUG Lecturer of the Year 2018
Marc Kramer of the Faculty of Economics and Business has been chosen as Lecturer of the Year 2018.