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