Back to University of Twente portal
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.) |