Research Projects

• NWO Veni project Foundations of Runtime Verification of Hyperproperties
  2025-2028
  Project leader: Jana Wagemaker
• 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
• TKI HTSM project Explainable synthesis of supervisory controllers (ExSyn)
  April 2025 - March 2030
  Project Leader: Dennis Hendriks
  One PhD student: Calvin Terpstra
• 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