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

Aselsan - University of Twente cooperation

European funding

Parallel Algorithms for Model-checking and Parameter Synthesis  (Funded by: EP NUFFIC - Van Gogh programme)
SUCCESS: SecUre aCCESSibility for the internet of things  (Funded by: CHIST-ERA)

National funding

BEAT: Better Testing with Game Theory  (Funded by: NWO)
Mercedes: Maximal Reliability of Concurrent and 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)
SUMBAT: Supersizing Model-Based Testing  (Funded by: STW / TNO-ESI / OcĂ© / PANalytical)
VerDi: Verification of Distributed Software  (Funded by: NWO)

University funding

3TU.BSR: Big Software on the Run  (Funded by: 3TU.NIRICT)
NIRICT Reconnaissance Topic: Performance and Correctness of GPGPU Applications
ViGARO: Verified Generation of Parallel Software  (Funded by: 4TU.NIRICT)