Most of the completed M.Sc. Final Project reports are publicly available at essay.utwente.nl. We maintain a complete list (currently being completed) from 2021 onwards below, and list a selection of completed projects from prior years.
2024
- Wouter Bos: Generating Piping & Instrumentation Diagrams from Static Fault Trees. (supervised by Marielle Stoelinga)
- Daniël Floor: Code comprehension in the multi-paradigm environment Kotlin. (supervised by Vadim Zaytsev)
- Alexander Stekelenburg: Solving Parity Games: Combining Progress Measures and Tangle Learning. (supervised by Tom van Dijk)
- Thomas Stouten: Modeling the effectiveness of treatment for Rheumatoid Arthritis with UPPAAL. (supervised by Rom Langerak)
- Suzanne van der Veen: A Formal Proof for the Correctness of Tangle Learning. (supervised by Tom van Dijk)
- Ellen Wittingen: Deductive verification for SYCL. (supervised by Marieke Huisman)
2023
- Marnick van der Arend: The LAMP Framework — A Language-Agnostic Code Quality Assurance Framework for Multi-Paradigm Languages (supervised by Vadim Zaytsev)
- Mart van Assen: Integrating the Five Steps of Plotting: A Plotting Tool Design. (supervised by Faizan Ahmed)
- Stijn Berendse: Towards explainable machine learning for prediction of disease progression. (supervised by Faizan Ahmed)
- Jan Boerman: Verifying a Parallel Graph Algorithm (supervised by Marieke Huisman)
- Stijn Broekhuis: Incorporating User Inputs for Improved JSON Schema Inference. (supervised by Vadim Zaytsev)
- Bram Dekker: Semi-supervised point cloud segmentation on railway data (supervised by Faizan Ahmed)
- Tom Grooters: Analysis of automated Virtual Machine generation and automation around system testing at TKH Airport Solutions (supervised by Petra van den Bos)
- Max Hendriks: Consider it Parsed! (supervised by Vadim Zaytsev)
- Joshua Jeeva: Risk Assessment of Humanoid Robot EVE-r3. (supervised by Marielle Stoelinga)
- Dylan Koldenhof: Neural Network Backdoor Removal by Reconstructing Triggers and Pruning Channels. (supervised by Moritz Hahn)
- Joël Ledelay: Verification of distributed locks : a case study. (supervised by Marieke Huisman)
- Yujie Liu: Testing and Mutation Testing for GPU Kernels. (supervised by Marieke Huisman)
- Frank van Mourik: IterSHAP: an XAI feature selection method for small high-dimensional datasets. (supervised by Faizan Ahmed)
- Jorik van Nielen: Dynamic Detection and Classification of Persistence Techniques in Windows Malware. (supervised by Marieke Huisman and Andrea Continella)
- Dré van Oorschot: VCLLVM: A Transformation Tool for LLVM IR programs to aid Deductive Verification. (supervised by Marieke Huisman)
- Andrej Pištek: Dynamic variable reordering for Binary Decision Diagrams (supervised by Tom van Dijk)
- Andrei Popa: Gotta adjust them all! -- Dynamic Difficulty Adjustment of Role-Playing Games Through Procedural Content Generation of Non-Player Characters (supervised by Marcus Gerhold & Vadim Zaytsev)
- Arthur Rump: Apollo++: Automated Assessment of Learning Outcomes in Programming Projects. (supervised by Vadim Zaytsev)
- Joost Sessink: Parallelising a Probabilistic Model Checker (supervised by Arnd Hartmanns)
- Stijn Slebos: Experimental study of a novel RF sensing application for measuring soluble sugar and electrical conductivity in the tomato plant stem (with Marcus Gerhold as committee member)
- Reinier Stribos: A comparison of Anomaly Detection Algorithms with applications on Re-Coater Streaking in an Additive Manufacturing Process (supervised by Marielle Stoelinga)
- Konrad Socha: Fuzzy Markov chains (supervised by Moritz Hahn & Matthias Volk)
2022
- Dennis Aanstoot: Graph Rewriters as Components (supervised by Arend Rensink)
- Jander Gilbers: Automatic Fault Tree Inference using Reinforcement Learning (supervised by Marielle Stoelinga)
- Ivan Hop: On the Performance of Algorithms for Quantitative Verification (supervised by Arnd Hartmanns)
- Ramon Houtsma: An explainable Machine Learning Approach to Risk-Adaptive Access Control (supervised by Marielle Stoelinga, in cooperation with DACS)
- Wytse Rekker Verification of a SysML railway specification with a translation to UPPAAL (supervised by Rom Langerak)
- Jan Smits: Callisto - Selecting Effective Mutation Operators for Mutation Testing (supervised by Marieke Huisman, M.H. Everts and Ansgar Fehnker)
- Nander Voortman Modelling OSA Diagnosis and Treatment using UPPAAL (supervised by Rom Langerak)
2021
- Remco Abraham: Symbolic LTL Reactive Synthesis (supervised by Tom van Dijk and Salomon Sickert (TUM))
- Pieter Bos: Program Verification for Quantum Algorithms (supervised by Marieke Huisman)
- Gerlof Bouma: Web Server Loads under Visitor Surges: A Model-Based Prediction (supervised by A. Hartmanns)
- Nhat Bui: Negomancer : Improvise. Adapt. Overcome. Transform. (supervised by Vadim Zaytsev)
- Stephanie Drerup: Deductive Verification of Integrated Hardware/Software Systems with the VerCors Verification Tool (supervised by Paula Herber, Marieke Huisman, Raúl Monti, at WWU Münster)
- Han Hollander: Verification of a model checking algorithm in VerCors (supervised by M. Huisman and Ö.F.O. Şakar)
- Ramesh Krishnamurthi: ADA Software Model Checking (supervised by Marieke Huisman, Raúl Monti, Jacques Verriet (TNO) and Yonghui Li (TNO))
- Hans van der Laan: Incremental Verification of Physical Access Control Systems (supervised by Raúl Monti and Wouter Kuijper (NEDAP))
- Alberto Martinez de Murga Ramirez: Dead Code Detection on Strict ECMAScript 6 Projects (supervised by Vadim Zaytsev at the UvA Software Engineering programme)
- Lars Meijer: Test case shrinking for Model Based Testing on Symbolic Transition Systems (supervised by Marielle Stoelinga)
- Samarjeet Patil: Automated Vulnerability Detection in JAVA Source Code using J-CPG and Graph Neural Networks (supervised by Erik Tews (UT SCS), Marieke Huisman, Decebal Mocanu (UT DMB))
- Mike Pingel: Leveraging machine learning and process mining to predict anaemia with the help of biomarker data.(supervised by Faiza A. Bukhsh (UT DMB), Faizan Ahmed)
- Arnaut Scholten: Efficient matching of heterogeneous roadmap data at Rijkswaterstaat (supervised by Marielle Stoelinga and Rolf de By)
- Jerre Starink: Analysis and Automated Detection of Code Injection Techniques in Malware (supervised by Andrea Continella (UT SCS) and Marieke Huisman)
- Antoine Veenstra: Accelerating Mixed-level Coverage Array generation (supervised by Marieke Huisman and Takashi Kitamura (AIST))
- Rick de Vries: Clash of Clangs : differential testing of srcML and Clang (supervised by Vadim Zaytsev)
- Eric van der Woude: Retargeting a Compiler for a Different Platform (supervised by Vadim Zaytsev at the UvA and Johan Fabry at Raincode Labs)
Older Projects
This is a selection of completed projects from the years prior to 2021, in reverse chronological order.
2020
- Tim Kemp: An algorithmic approach to a conjecture of Chvátal on toughness and hamiltonicity of graphs (supervised by H.J. Broersma, T. van Dijk, and M.J. Uetz). Won the ENIAC Master's Thesis Award.
- Lukas Miedema: QuickInterp - Improving interpreter performance with superinstructions (supervised by Marieke Huisman and Tom van Dijk). Won a 2nd prize for the KNVI Scriptieprijzen voor Informatica en Informatiekunde and a 1st prize for the VERSEN best Master thesis award.
2019
- Rob van Emous: Towards Systematic Black-Box Testing for Exploitable Race Conditions in Web Apps (supervised by Marieke Huisman and Erik Tews (UT SCS)). Won the ENIAC Master's Thesis Award.
2018
- Sophie Lathouwers: Reasoning About the Correctness of Sanitizers (supervised by Marieke Huisman and Maarten Everts (UT SCS)).
Won 2nd prize for the KNVI Scriptieprijzen voor Informatica en Informatiekunde and KHMW Internetscriptieprijs voor de categorie Internet & Technische wetenschappen.
An archive of older completed projects can be found on our old website (external link).