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.
|Patrick Thijssen - OCL Made Easy|
|Bob Rubbens - Extending Java support in VerCors|
|Bram Kamies - A Generic Framework for State Space Exploration|
|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|
|Jan Boerman - Verification of opacity for a transactional memory implementation|
|Marijn Peppelman - Adding dependencies for failure probabilities in fault trees|
|Steven de Heus - A parity game game|