iCIS
Department of
Software Science
↑
Home
Program Verification
Description
Researchers
Papers
Courses
Projects
print
·
login
Home
»
ProgramVerification
»
Projects
NWO XL project
Cyclic Structures in Programs and Proofs
2025-2030
RU project leader: Robbert Krebbers
ERC Consolidator project
Developing Correct Concurrent Software Using Types (COCONUT)
April 2025 - March 2030
Project leader: Robbert Krebbers
