This webpage holds a list of available, in progress and completed Master projects at FMT. If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Petra van den Bos or dr. Moritz Hahn, the programme mentors of the Software Technology specialisation.
If you want to do your MSc Final Project with FMT, you will first prepare the research in the course Research Topics (10 EC). You will need to find a subject (or subject area) and a supervisor. Yosu can have one or more supervisors for the Research Topics course, but at least one must be connected to the UT. You must then register for Research Topics in Canvas and via the Mobility Online application.During your Research Topics, you study the background of the subject and prepare research questions and a detailed planning. Afterwards, you receive a grade for Research Topics and can start your Final Project (30 EC). You must register again for Final Project in Canvas and via the Mobility Online application. For the Final Project, you will need two supervisors and at least one of them must be a member of the FMT group.
Topics and Proposals
Students are invited to choose topics or project proposals offered by members of the FMT Group for their Research Topics and Final Project. If you are interested in a certain general topic or concrete proposal, please do not hesitate to contact the person listed as responsible even if you just want to ask a question and are still deciding.
Ongoing Projects
- Iusof Al-Salekh: VSCode Plugin for VerCors (supervised by Marieke Huisman and Robert Mensing)
- Andrey Antonowycz: Computng Electro-Optical and Radar coverage in near real-time (supervised by Tom van Dijk)
- Lars van Arkel: Procedural generation of fixed-viewpoint digital nature landscapes (supervised by Marcus Gerhold and Vadim Zaytsev)
- Jelle Beerten: Assessing the computability of traffic intensity for varying road types in the Netherlands (supervised by Tom van Dijk)
- Boris Belchev: Analyzing the Energy Use of LLMs for Software Development Tasks (supervised by Fernando Castor)
- Ivo Broekhof: Code Quality Metrics for Scala (supervised by Vadim Zaytsev)
- Kirill Fedorov: Analyzing attack-defense trees with PRISM (supervised by Milan Lopuhaä-Zwakenberg and Reza Soltani)
- Franka van Jaarsveld: Practical Probabilistic Program Verifcaton using Caesar (supervised by Stefano Nicoletti and Joost-Pieter Katoen)
- Serge Johanns: Deductive Synthesis of Concurrent Programs with Pointers (supervised by Marieke Huisman, Tom van Dijk and Alex Skopalik)
- Floris Kromwijk: Continuous Testing for microcontrollers (supervised by Marcus Gerhold)
- Wander Nauta: Metamorphic Testing of VerCors (supervised by Marieke Huisman and Marcus Gerhold)
- Aleksandar Petrov: Analyzing attack-fault trees with PRISM (supervised by Milan Lopuhaä-Zwakenberg and Reza Soltani)
- Till Pinke: Parallelization of unsat certification checkers (supervised by Peter Lammich)
- Caz Saaltink: Model checking algorithms for Object-oriented Disruption Graphs (supervised by Moritz Hahn and Stefano Nicoletti)
- Peter Smit: A study on static taint analysis techniques in Ruby (supervised by Marcus Gerhold)
- Thomas Stein: Formal foundations of the VerCors verifier (supervised by Marieke Huisman, Bob Rubbens and Peter Lammich)
- Luc Timmerman: Reducing Cloud Operation Cost by Feature Optimisation (supervised by Fernando Castor and Vadim Zaytsev)
- Joep Vorage: Graph Properties in VerCors (supervised by Marieke Huisman and Alexander Stekelenburg)
- Ben Willemsen: Visualizing Quantum Superoperators by Generating Circuits (supervised by Marco Gerards & Moritz Hahn)
- Nick Wolters: Learning Grammar: A Stochastic Addition to Weighted Attribute Grammars (supervised by Marcus Gerhold and Vadim Zaytsev)