This is an overview of the research projects in SET:
Current projects:
- GPU Enabled Accelerated Reasoning about System designs (GEARS), NWO TOP c2, 2017-2021
- verified Construction of corrEct and Optimised Parallel Software (ChEOPS), NWO TTW Open Technology programme, 2019-2024
Past projects:
- Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments (EMC2), Artemis, 2015-2017