This webpage holds a list of students currently working on a Master project at FMT, and a list of former students who completed their Master project at FMT.
Students who did their master assignment at FMT are invited to join the LinkedIn group FMT Alumni.
If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.
|Danny Bergsma - Specification and verification of a compression algorithm in a GPU|
|Wybren Kortstra - Aligning Medical Data using Model Transformation|
|Bob Rubbens - Extending Java support in VerCors|
|Indrek Klanberg - A discrete model for neuronal network dynamics|
|Bram Kamies - A Generic Framework for State Space Exploration|
|Remco de Man - Provaby Correct Graph Models|
|Pieter Bos - Program Verification for Quantum Algorithms|
|Lukas Miedema - QuickInterp - JIT-like performance in a cross-platform cross-CPU way|
|Ömer Sakar - Support for ADTs in VerCors|
|Michiel Bakker - Model validation for Stochastic Timed Automata|