2024 –, local principal investigator in the National Growth Fund Future Network Services project.
2020 – 2024, co-applicant in the NWO MasCot project Programming and Validating
Software Restructurings.
2019 – 2023, principal investigator in the ITEA3 project MACHINAIDE: Knowledge-based services for and optimization of machines.
2019 – 2022, principal investigator in the OPZuid project Verification Based Remote & Secure Maintenance Solutions.
2019 – 2021, co-projectleader in the NWO TOP project Formal Cache Coherence Verification of Multi-Core Architectures (with Julien Schmaltz and Jan Friso Groote).
