print · login   
  • NWO XL project Cyclic Structures in Programs and Proofs
    2025-2030
    RU project leader: Robbert Krebbers
  • TKI HTSM project Explainable synthesis of supervisory controllers (ExSyn)
    April 2025 - March 2030
    Project Leader: Dennis Hendriks
    One PhD student: Calvin Terpstra
  • ERC Consolidator project Developing Correct Concurrent Software Using Types (COCONUT)
    April 2025 - March 2030
    Project leader: Robbert Krebbers
  • NWO ENW.M1 project FuRoRe: Fundamentals of Robust Runtime Monitoring
    September 2024 - August 2028
    Project leader: Sebastian Junges
    One PhD Student: Luko van der Maas
  • NWO OSF (23.2) project: StormAE - Storm for Almost Everyone
    May 2024 - May 2025
    Project leader: Sebastian Junges
    Two student assistants
  • NWO VENI project VI.Veni.222.147 ProMiSe
    Oct 2023-Oct 2026
    Project leader: Sebastian Junges
    PhD student: Linus Heck