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

Leiden University

• Henning Basold
• Marcello Bonsangue

University of Twente

• Georgiana Caltais

TU Delft

• Jesper Cockx

Radboud University

• Robbert Krebbers

University of Gothenburg (Sweden)

• Bahareh Afshari