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 September 2018
Being as green as you should be can cause great social inconvenience
Jan Willem Bolderdijk must be the ideal son-in-law. He is cheerful, athletic and articulate. He cares greatly about sustainability and is highly aware of the consequences of his choices. But he did book that trip to Thailand. Why is it so difficult...
-
21 September 2018
Heike Kamerlingh Onnes chair and Rudi Drent chair for Groningen professors
The Faculty of Science and Engineering has honoured two of her professors by appointing them to a named chair: Prof. Bart Van Wees on the Heike Kamerlingh Onnes chair and Prof. Theunis Piersma on the Rudi Drent chair in Global Flyway Ecology. Named...
-
11 September 2018
From Klokhuis question of the week to a Veni grant
Jorrig Vogels has always been fascinated by language. As a child, he even compared the different words for ingredients on any packaging he came across. Last summer, the language researcher managed to secure a much-coveted Veni grant. ‘There’s something...