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|
|Matthijs Hofstra - Loop invariant generation|
|Lars Stegeman - Runtime Monitoring of Smart Contracts on Ethereum|