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:
Seven University of Groningen (UG) Bachelor’s degree programmes have been awarded the ‘Top Degree Programme’ quality label by the Dutch Higher Education Guide for Universities (Keuzegids) 2021, placing them among the top in Dutch academic education...
Hoe kunnen we op een efficiënte manier bioplastic maken uit suiker, zodat de prijs vergelijkbaar wordt met die van plastic uit aardolie? Daar doen de Rijksuniversiteit Groningen (RUG) en verschillende bedrijven en kennisinstellingen de komende drie...
The University of Groningen established the Ben Feringa Impact Award to highlight the exceptional achievements of researchers and students in the field of knowledge utilization.