Prof. dr. Jorge Pérez wins NWO XL grant for research project
Prof. dr. Jorge Pérez wins NWO XL grant for research project with co-applicants: dr. H. (Henning) Basold; dr. R.J. (Robbert) Krebbers; dr. J.G.H. (Jesper) Cockx; dr. G. (Georgiana) Caltais; dr. H.H. (Helle Hvid) Hansen.
Cyclic Structures in Programs and Proofs: New Harmonies of Theory and Praxis
From our phones and buildings to power and communication networks, software is the backbone of our digital society. Ensuring that software systems are reliable and resilient is crucial but challenging. A key aspect of verifying software is analysing cyclic structures in their behavior. However, the theoretical understanding of many important cyclic structures is still underdeveloped, creating a bottleneck for verification: many critical software systems essential to society cannot be verified. This consortium will significantly advance the theory of cyclic structures, providing a robust foundation for the future-proof construction of software systems that are reliable and resilient.
Read more at 64 million euros for groundbreaking fundamental research projects
| Last modified: | 18 December 2024 3.32 p.m. |
More news
-
16 December 2024
Jouke de Vries: ‘The University will have to be flexible’
2024 was a festive year for the University of Groningen. Jouke de Vries, the chair of the Executive Board, looks back.
-
10 June 2024
Swarming around a skyscraper
Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...
-