Research Projects

• NWO KIC project Find2Fix
  2025-2029
  Project Leader: Mairieli Wessel (RU)
  One PhD student: Pien Rooijendijk
• NWO VIDI project VI.Vidi.223.096 Approximation, Abstraction and Apartness in Automata Learning (APPLE)
  2023-2028
  Project leader: Jurriaan Rot
  PhD students: Bálint Kocsis
• NWO project OCENW.M.23.155 Evidence-Driven Black-Box Checking (EVI)
  February 2025 - January 2030
  Project leader: Frits Vaandrager
  One PhD Student: Bram Pellen
• TTW Mascot project on Testing in Times of Continuous Change (TicToc)
  2020-2024
  Project leaders: Jan Tretmans (main project leader) and Daniel Strüber
  PhD students: Gijs van Cuyck and Lars van Arragon
• NWO TOP project 612.001.852 Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS)
  July 2019 - January 2024
  Project leader: Frits Vaandrager
  Postdoc: Thorsten Wissmann (until 31-12-2022); PhD student: Bharat Garhewal (until 31-01-2024).