Research Projects

• NWO Veni project Proofs and programs: categorical tools in type theory
  2026-2029
  Project leader: Tom de Jong
• NWO Veni project Foundations of Runtime Verification of Hyperproperties
  2025-2028
  Project leader: Jana Wagemaker
• NWO Open Competition project OCENW.M20.380 The power of equality (joint with UvA)
  September 2022 - October 2026
  Project leader: Herman Geuvers (joint with Benno van de Berg, UvA)
  Postdoc: Niels van der Weide; PhD student (at the UvA): Daniel Otten
• NWO VIDI project VI.Vidi.193.075 Constrained Higher-Order Rewriting and Program Equivalence
  February 2021 - January 2026
  Project leader: Cynthia Kop
  PhD students: Liye Guo, Kasper Hagens