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
• Bianca Fürstenau
• Cárolos Laméris

Leiden University

• Henning Basold
• Marcello Bonsangue
• Sarah Dukic

University of Twente

• Georgiana Caltais
• Nadine Muller

TU Delft

• Jesper Cockx
• Nathaniel Burke

Radboud University

• Robbert Krebbers
• David Läwen

University of Gothenburg (Sweden)

• Bahareh Afshari