Projects
The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.
National funding
SEQUOIA: Smart maintenance optimization (Funded by: STW, ProRail, NS/NedTrain) |
SPA: Seamless Personal Authentication (Funded by: N.V. Nederlandsche Apparatenfabriek) |
Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability (Funded by: NWO) |
Mercedes: Maximal Reliability of Concurrent and Distributed Software (Funded by: NWO) |
ChEOPS: verified Construction of corrEct and Optimised Parallel Software (Funded by: NWO) |
FormaSig: Formal methods in railway signalling infrastructure standardisation processes (Funded by: ProRail; DB Netze A.G.) |