Consortium

This project will deliver innovative foundations and tools for ensuring the reliability and resilience of software systems. To achieve this, it brings together researchers from five Dutch universities, who are experts in cyclic structures and coinduction in logic, program verification, and proof assistants.

University of Groningen (Project Coordinator)

• Jorge A. Pérez (lead PI)
• Helle Hvid Hansen (co-PI)
• Bianca Fürstenau (PhD student)
• Cárolos Laméris (PhD student)

Leiden University

• Henning Basold (co-PI)
• Marcello Bonsangue (External partner)
• Sarah Dukic (PhD student)

University of Twente

• Georgiana Caltais (co-PI)
• Nadine Muller (PhD student)

TU Delft

• Jesper Cockx (co-PI)
• Nathaniel Burke (PhD student)

Radboud University

• Robbert Krebbers (co-PI)
• David Läwen (PhD student)

University of Gothenburg (Sweden)

• Bahareh Afshari (External partner)