Master Students
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.
Contact
If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.
Current
Dennis Aanstoot - Graph Rewriters as Components |
Antoine Veenstra - Acceleration of Combinatorial testing using GPGPU. |
Martijn Renssen - Floating Point Axiomatisation for VerCors |
Rick de Vries - Clash of Clangs |
Bui Hong Thien Nhat - Improvise. Adapt. Overcome. Transform. |
Ramesh Krishnamurthy - Formal verification of a distributed control software implemented in the ADA programming language through model checking |
Pieter Bos - Program Verification for Quantum Algorithms |
Han Hollander - Verification of Set-based Strongly-Connected Components algorithms in VerCors |
Samarjeet Patil - Automated Vulnerability detection in Java Source Code using Graph Neural Network |
Jan Boerman - Verification of opacity for a transactional memory implementation |