Projects

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

VerDi: Verification of Distributed Software (Funded by: NWO)

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)

Formal methods in railway signalling infrastructure standardisation processes (Funded by: ProRail and Deutsche Bahn)

University funding

Beauty and Joy of Computing in Dutch (Funded by: NIRICT)

European funding

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