Research Projects

• NWO KIC project Find2Fix
  2025-2029
  Project Leader: Erik Poll (DiS), Mairieli Wessel (SWS)
  One PhD student
• TKI HTSM project Explainable synthesis of supervisory controllers (ExSyn)
  April 2025 - March 2030
  Project Leader: Dennis Hendriks
  One PhD student
• 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).