Research Projects

• 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
• NWO TOP project 612.001.803/7571 Implicit Complexity through Higher Order Rewriting
  Septer 2019 - September 2023
  Project leader: Cynthia Kop
  PhD student: Deivd Vale