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|
|Henk Mulder - Performance of software verification using Vercors|
|Rob van Emous - Towards Systematic Black-Box Testing for Exploitable Race Conditions in Web Apps|
|Indrek Klanberg - A discrete model for neuronal network dynamics|
|Willem Siers - Synthesizing transformations between APIs|
|Bram Kamies - A Generic Framework for State Space Exploration|
|Remco de Man - Provaby Correct Graph Models|
|Bob Rubbens - Extreme software reliability with Featherweight VerCors|
|Pieter Bos - Program Verification for Quantum Algorithms|