Research

Research Projects

  • 2020 – 2024, co-applicant in the NWO MasCot project Programming and Validating Software Restructurings.
  • 2019 – 2022, principal investigator in the ITEA3 project MACHINAIDE: Knowledge-based services for and optimization of machines.
  • 2019 – 2021, principal investigator in the OPZuid project Verification Based Remote & Secure Maintenance Solutions.