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. You 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: Research topics (supervised by Tom van Dijk)
- Andrey Antonowycz: Computng Electro-Optical and Radar coverage in near real-time (supervised by Tom van Dijk)
- Jan Douwe Beekman: Error bounds for Floating Points in Isabelle/HOL (supervised by Peter Lammich and Bram Kohlen)
- 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)
- Ties Bolding: Introducing Automated Testing into an Existing Codebase with Limited Effort (supervised by Petra van den Bos)
- Ivo Broekhof: Code Quality Metrics for Scala (supervised by Vadim Zaytsev)
- Danut Copae: Attack-Defense Trees with Offensive and Defensive Attributes (supervised by Milan Lopuhaä)
- Rafael Dulfer: A General Parser for Weighted Attribute Grammars (supervised by Vadim Zaytsev)
- Jelle Hulter: A Comparison of Java-based Frameworks for Enterprise Application Development (supervised by Fernando Castor)
- Filip Ivanov: Using Gamification to Motivate Developers to Review Code (supervised by Arjan van Hessen and Vadim Zaytsev)
- Dylan Janssen: Design and Implementaton of nee features for Runtme Permission Verifcaton in Concurrent Java Programs using VerCors (supervised by Marieke Huisman and Pieter Bos)
- Serge Johanns: Deductive Synthesis of Concurrent Programs with Pointers (supervised by Marieke Huisman)
- Oebele Lijzenga: Advancements in Bug Fixing with Deep Learning and Search Based Algorithms (supervised by Iman Hemati Moghadam and Vadim Zaytsev)
- Michael Mulder: Behaviour Driven Development for Game Development in Unity 3D (supervised by Petra van den Bos)
- Aimé Ntagengerwa: Compiling Python to LLVM (supervised by Peter Lammich)
- Till Pinke: Parallelization of unsat certification checkers (supervised by Peter Lammich)
- Koen Reefman: Supporting Developer Onboarding with Open Source Large Language Models (supervised by Fernando Castor)
- Mart de Roos: Faster Mutation Testing with Stryker (supervised by Arend Rensink)
- Ömer Sayilir: Legacy Languages, Grammar Recovery and Semi-parsing (supervised by Vadim Zaytsev)
- Matthias Sleurink: Verification of parsers and pretty printers in Isabelle (supervised by Peter Lammich)
- Lotte Steenmeijer: Using Weighted Attribute Grammars to Formalise Human-Machine Communication in IoT Systems (supervised by Vadim Zaytsev)
- 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)
- Naum Tomov: Extensibility of Domain-Specific Languages (supervised by Nhat Bui and Vadim Zaytsev)
- Suzanne van der Veen: A Formal Proof for the Correctness of Tangle Learning (supervised by Tom van Dijk and Peter Lammich)
- 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)