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.
|Danny Bergsma - Specification and verification of a compression algorithm in a GPU|
|Janina Torbecke - Symbolic Model Checking on Supercomputers|
|Lennart Buit - Domain-specific language for light control queries|
|Matthijs Hofstra - Loop invariant generation|
|Niek Haarman - Verification of Rust programs|
|Peter van Dijk - Searching for molecular structure using graph transformation|
If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.