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

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

Education
▪ Behavioural Sciences
▪ Management and Governance
▪ Engineering Technology
▪ Electrical Engineering, Mathematics and Computer Science
▪ Science and Technology
▪ Geo-Information Science and Earth Observation
▪ Overview programmes

Research
▪ Centre for Telematics and Information Technology
▪ Institute for Behavioral Research
▪ Institute for Innovation and Governance Studies
▪ Institute of Mechanics, Processes and Control
▪ Mesa+ Institute for Nanotechnology
▪ MIRA Biomedical Technology and Technical Medicine

Cooperation
▪ Alumni
▪ Universiteitsfonds
▪ Kennispark Twente
▪ Entrepreneurs
▪ The Science Shop
▪ Press

Disclaimer Privacy statement 18 May 2021