The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.

No/other funding

Aselsan - University of Twente cooperation

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.)

European funding

SUCCESS: SecUre aCCESSibility for the internet of things  (Funded by: CHIST-ERA)