Supervised master theses (since 2002)
- Aron Heijstek, Bridging theory and practice: Insights into practical implementations of security practices in secure DevOps and CI/CD environments, master Computer Science, VU Amsterdam, October 2023 (daily supervisor Sem Nijssen, CGI)
- Maarten Schröder, Automatic test case generation based on properties as scenarios for Axini Modeling Language, master Computer Science, VU Amsterdam, August 2023 (daily supervisor Machiel van der Bijl, Axini)
- Farnaz Hanifeh, Green blockchain: Energy-efficient path optimization for swaps and bridges through blockchain technology, master Computer Science, VU Amsterdam, August 2023 (daily supervisor Ali Honari, Danalytica)
- Ayşenur Şeref, Supervisory control synthesis for interlocking systems of railways using the ESCET toolkit, master Computer Science, VU Amsterdam, August 2023
- Casper van Ek, Optimistic recovery protocol for concurrent failures, master Computer Science, VU Amsterdam, June 2023
- Mick Decates, Fault-tolerant control for layered control systems: With an application to the lighting system of a road tunnel, master Mechanical Engineering, TU Eindhoven, November 2022 (daily supervisors Asia van de Mortel-Fronczak, TU Eindhoven and Hans Bruinsma, Rijkswaterstaat)
- Casper Vissers, Exploring supervisory control theory on the Maeslant barrier locomobiles, master Mechanical Engineering, TU Eindhoven, October 2022 (daily supervisors Asia van de Mortel-Fronczak, TU Eindhoven and Maike Eissfeller, Rijkswaterstaat)
- Resul Serkan Keskin, Adaptive scheduling for continuous cloud monitoring, master Parallel and Distributed Computer Systems, VU Amsterdam, July 2022 (daily supervisor Paolo Pileggi, TNO)
- Eva-Britt Leliveld, Synthesis-based integration, with an application to the lighting system of a road tunnel, master Mechanical Engineering, TU Eindhoven, June 2022 (daily supervisors Asia van de Mortel-Fronczak, TU Eindhoven and Patrick Maessen, Rijkswaterstaat)
- Simon Heijungs, Finding memory allocation bugs using SeaHorn, master Computer Science, VU Amsterdam, August 2021 (co-supervisors Cristiano Giuffrida, Klaus Freiherr von Gleissenthall)
- Vladislav Yaglamunov, Correctness proofs for C library functions with Frama-C, master Computer Science, VU Amsterdam, August 2021 (daily supervisor Marcel Beemster, Solid Sands)
- Joris Barkema, Performance comparison of reachability algorithms for parallel SCC detection, master Computer Science, VU Amsterdam, May 2021
- Koen van Eldik, Control system design for storm surge barriers based on formal models, master Mechanical Engineering, TU Eindhoven, January 2021 (daily supervisors Asia van de Mortel-Fronczak, TU Eindhoven and Piotr Klimczak, Rijkswaterstaat)
- Carlos Perales Liñan, AlMa: Building a research topic overview using argument mining and machine learning, master Computer Science, VU Amsterdam, November 2020 (daily supervisor Paolo Torroni, Università di Bologna)
- Philip Roeleveld, Anomaly detections with autoencoders for heterogeneous datasets, master Computer Science, VU Amsterdam, November 2020 (daily supervisor Jan van der Vegt, Cubonacci)
- Dalia Papuc, Guaranteed nonblockingness in supervisor synthesis, master Parallel and Distributed Computer Systems, VU Amsterdam, March 2020 (daily supervisor Michel Reniers, TU Eindhoven)
- Alissa de Bruijn, Detecting offensive language using transfer learning, master Business Analytics, VU Amsterdam, October 2019 (daily supervisor Vesa Mulhonen, Mobiquity)
- Benjamin Guicherit, Parallel detection of strongly connected components with prioritized vertices, master Computer Science, VU Amsterdam, September 2019
- Arun Kumar Chengottarasappan, Arora-Gouda self-stabilizing spanning tree algorithm under an unfair daemon, master Parallel and Distributed Computer Systems, VU Amsterdam, September 2019
- Lucas van der Wall, Detection of deepfakes using deep learning, master Business Analytics, VU Amsterdam, July 2019 (daily supervisor Evert Haasdijk, Deloitte)
- Ratna S.W. Agung, Selecting factors relevant in predicting equity return using tree-based ensembles, master Business Analytics, VU Amsterdam, November 2018 (daily supervisor Adam Strudwick, Saemor Capital)
- Kevin Maiutto, Formal analysis of cache side-channel attacks and countermeasures, master Computer Science, VU Amsterdam, September 2018 (co-supervisor Cristiano Giuffrida)
- George Chouliaras, Predicting customer loyalty using machine learning, master Business Analytics, VU Amsterdam, August 2018 (daily supervisor Moritz Ernst, Booking.com)
- Suzanne van der Velden, A comparison of methods to increase the interpretability of neural networks on Twitter data, master Business Analytics, VU Amsterdam, August 2018 (daily supervisor Shelyne Badal, PA Consulting)
- Milou Meeuwisse, Connecting the dots: Developing an algorithm for consistency checking in military intelligence, master Business Analytics, VU Amsterdam, August 2018 (daily supervisor Selmar Smit, TNO)
- Shanti Bruyn, Predictive maintenance for sewer systems using machine learning - A comparative study on the performance of three algorithms, master Business Analytics, VU Amsterdam, August 2018 (daily supervisor Mattijs Stam, Witteveen+Bos)
- Kristinn Björgvinn Árdal, A fault-tolerant variant of the Mahapatra-Dutt termination detection algorithm, master Computer Science, VU Amsterdam, August 2017
- Nayana Mannilthodi, Implementation of multi-valued Büchi automata in the SpinJa model checker, master Parallel and Distributed Computer Systems, VU Amsterdam, August 2017 (daily supervisor Stefan Vijzelaar)
- Vera Matei, Parallel algorithms for detecting strongly connected components, master Computer Science, VU Amsterdam, September 2016
- Vittorio Massaro, Compositionality from the operator's point of view: From concrete to abstract semantics, master Computer Science, VU Amsterdam, July 2016
- Jorge Mora Perdiguero, Development of an efficient data coverage strategy for TestManager, master Computer Science, VU Amsterdam, July 2016 (daily supervisor Vincent de Bruijn, Axini)
- Renske Augustijn, Multivalued logics and hyper transitions in SpinJa, master Parallel and Distributed Computer Systems, VU Amsterdam, November 2015 (daily supervisor Stefan Vijzelaar)
- Arnaud Loonstra, Concurrency for creative coding, master Media Technology, U Leiden, September 2015 (co-supervisor Maarten Lamers, U Leiden)
- Oriane Dierikx, Design and implementation of a distributed baggage handling controller, master Mechanical Engineering, TU Eindhoven, July 2015 (daily supervisors Bert van Beek, TU Eindhoven and Joost van Eekelen, Vanderlande)
- Tom Zwijgers, Design of a model-based controller for baggage handling systems with data tracking, master Mechanical Engineering, TU Eindhoven, March 2015 (daily supervisors Bert van Beek, TU Eindhoven and Joost van Eekelen, Vanderlande)
- Guus van Lipzig, Proof of concept for a model-based multidisciplinary engineering approach, master Mechanical Engineering, TU Eindhoven, February 2015 (daily supervisors Asia van de Mortel-Fronczak, TU Eindhoven and Henk Theunissen, Alewijnse)
- Kees Duisters, Synthesis of supervisors for timed systems via region automata, master Mechanical Engineering, TU Eindhoven, December 2014 (daily supervisors Bert van Beek, TU Eindhoven and Johan Jacobs, ASML)
- Michel Degenhardt, Proving the correctness of the BTTF wave algorithm for distributed termination detection, master Computer Science, VU Amsterdam, July 2014 (daily supervisor Farhad Arbab, CWI)
- Evert de Kock, Control and performance analysis of wafer flow in wafer handling systems, master Mechanical Engineering, TU Eindhoven, July 2014 (daily supervisors Bert van Beek, TU Eindhoven and Johan Jacobs, ASML)
- Sjors Jansen, Design and implementation of model based controllers for baggage handling systems, master Mechanical Engineering, TU Eindhoven, July 2014 (daily supervisors Bert van Beek, TU Eindhoven and Joost van Eekelen, Vanderlande)
- Abdellatif Lghali, Generating dimensional data marts from meta-data: a proof of concept prototype, master Business Analytics, VU Amsterdam, April 2014 (daily supervisor Hans van Leijen, TomTom)
- Kevin de Berk, Model checking test models, master Computer Science, VU Amsterdam, February 2014 (daily supervisor Machiel van der Bijl, Axini)
- Olga Havlickova, Hierarchical range queries on encrypted data, master Computer Science, VU Amsterdam, September 2013 (daily supervisor Zekeriya Erkin, TU Delft)
- Davy van Dijk, Supervisory control of a Philips MRI-scanner, master Mechanical Engineering, TU Eindhoven, August 2013 (daily supervisors Bert van Beek, TU Eindhoven and Phil van Liere, Philips)
- Lars Lockefeer, Formal specification and verification of TCP extended with the window scale option, master Computer Science, VU Amsterdam, July 2013
- Marijke Starke, Supervisory control using extended finite automata for ASML wafer scanners, master Mechanical Engineering, TU Eindhoven, March 2013 (daily supervisors Michel Reniers, TU Eindhoven and Ivo ter Horst, ASML)
- Rik Kamphuis, Design and real-time implementation of a supervisory controller for baggage handling at Veghel Airport, master Mechanical Engineering, TU Eindhoven, January 2013 (daily supervisors Bert van Beek, TU Eindhoven and Joost van Eekelen, Vanderlande)
- Stefan Vijzelaar, A virtual shared disk on distributed redundant storage, master Computer Science, VU Amsterdam, April 2010 (co-supervisor Herbert Bos)
- Despo Galataki, Design and analysis of UniPro protocols for mobile phones, master Parallel and Distributed Computer Systems, VU Amsterdam, July 2009 (daily supervisor Andrei Radulescu, ST-Ericsson)
- Maciej Gazda, On modal characterizations and turning GSOS rules into equations, master Computer Science, VU Amsterdam, January 2009
- Atul Mehta, Fault tolerant rings: creation and maintenance, master Parallel and Distributed Computer Systems, VU Amsterdam, September 2008
- Bas Kloet, Measuring and improving the quality of file carving methods, master Computer Science and Engineering, TU Eindhoven, September 2007 (daily supervisor Rob Mora, Hoffmann BV)
- Cynthia Maasbommel, A formal analysis of the RIES Internet voting protocol, master Computer Science, VU Amsterdam, April 2007
- Francois Mbgong, Dolev-Klawe-Rodeh leader election for anonymous rings, master Computer Science, VU Amsterdam, June 2006
- Martijn Monteban, Reduction algorithms on linear process equations, master Computer Science, VU Amsterdam, May 2005 (daily supervisor Jaco van de Pol, CWI)
- Allard Kakebeek, Extension and formal verification of a distributed lift system in UPPAAL, master Computer Science, RU Nijmegen, August 2005
- Martin Mach, Verification of behavior protocols, master Computer Science, VU Amsterdam, August 2003
- Bart Karstens, Formal verification of the redesign of a distributed lift system using UPPAAL, master Cognitive Artificial Intelligence, U Utrecht, July 2003
- Thuy Duong Vu, Structural operational semantics and bounded nondeterminism, master Computer Science, VU Amsterdam, August 2002
Supervised bachelor Computer Science theses at the VU Amsterdam (since 2008)
- Rob Kras, Exploring the efficacy of different machine learning techniques across diverse classification tasks, 2023
- Esmee Ramdien, An efficient implementation of vector clocks in networks with non-FIFO channels, 2023
- Liridon Hajdini, A data-driven recommendation model for cloud service selection, 2023
- Roy Pei, Experimenting with improvements of the dynamic elimination-combining stack, 2023
- Berkay Chakar, Improving Ben-Ari's on the fly garbage collection algorithm, 2023
- Enyuan Zwerver, Improving the Kim-Park checkpointing recovery algorithm, 2023
- Fatih Yakici, FIFO channels in the spotlight: How crucial are they for the Walter-Welch-Vaidya mutual exclusion algorithm?, 2023
- Thea Verburg, Experimentation of the Walter-Welch-Vaidya mutual exclusion algorithm for mobile ad-hoc networks, 2023
- Shayan Golkarian, Analyzing the Franklin and Dolev-Klawe-Rodeh ring election algorithms for non-FIFO channels, 2023
- Sander Vrzina, Piece by piece: Building a strong chess engine, 2023
- Bruno Hoevelaken, Assessing adaptive scheduling for vehicle inspections: A historical data-driven comparative study, 2023
- Surhay Bas, Collision-based counter-drone tactics: An AI and RF signal approach for neutralizing aerial threats, 2023
- Ruben Huygens, Development of an activity-based flexible workspace application for the NU-building at VU Amsterdam, 2023
- Anass Benhaddou, SpotFinder: A desk reservation system for the NU-building at the VU campus, 2023
- Vlad-Andrei Cursaru, Improving the dynamic elimination-combining stack implementation, 2022
- Tijmen Verhoef, Designing and implementing a reliable group communication protocol, 2022
- Gideon Roose, An experience report on model learning, 2022
- Berta Rodriguez Sanchez, Simulating the Ben-Or/Hassidim quantum fail-stop protocol on Qiskit, 2022
- Daniel Roos, Visualisation of distributed algorithms executions: Improving the DaViz tool, 2022 (daily supervisor Hans-Dieter Hiep, CWI)
- Maarten van Eikeren, Automatic generation of sequence diagrams from feature files, 2022 (daily supervisor Bart van Keersop, Info Support)
- Omar Said, Automated RSSI-based lights distribution for smart buildings, 2022 (daily supervisor Luca Corolli, INGY)
- Amine Hammi, Diagnosing breast cancer using machine learning methods, 2022 (daily supervisor Tom Keim, Info Support)
- Casper Woudenberg, An improved implementation of the elimination-backoff stack algorithm, 2021
- Pieter Bijl & Anh Phi Tiet, Exploring modern chess engine architectures, 2021
- Thomas Nieuwenhuis, Public transport transfer time minimization in Luxembourg, 2021
- Luca Taglialatela, Improving Tseng's fault-tolerant termination detection algorithm, 2021
- Dániel Köves, Concurrent datastructure design for software transactional memory, 2021
- Mats Samuelsson, Temporal blockchain: Model checking with ProB, 2020
- Gert Hartzema, Scrutinising a parallel distributed depth-first search algorithm, 2020
- Juraj Norulak, Correctness and complexity analysis of a new parallel DDFS algorithm, 2020
- Karim Grytsenko, Developing a new fault-tolerant version of the Lai-Yang snapshot algorithm, 2020
- Thomas Webbers, Bringing the security of Bitcoin full nodes to low resource devices, 2020
- Irina Shcherbakova, Parallel algorithms for detecting terminal strongly connected components, 2020
- Geoffrey Frankhuizen, Unification of finite sets of equations between infinite terms, 2019
- Charlotte Out, Quantum leader election algorithms in distributed networks, Amsterdam University College, 2019
- Ewoud Vermeij, Simulating quantum algorithms for leader election in anonymous networks, 2019
- Piotr Zaitev, CRForum - Biometric security and identification for a mobile cryptocurrency platform, 2018
- Guus Samsom, Een nieuwe kijk op de Itai-Rodeh berekening van anonieme ring-grootte (in Dutch), 2018
- Hrach Hayrapetyan, Ways to achieve fault-tolerant distributed termination detection from scratch, 2018
- Evangelos Chatzikalymnios, Comparison of two algorithms for detecting useless transitions in pushdown automata, 2016 (received the VU BSc thesis award 2015-2016)
- George Karlos, A fault-tolerant variant of Safra's termination detection algorithm, 2016
- Nicole Kappelhof, Location and routing problems in computer chip manufacturing, 2016 (co-supervisor Leen Stougie, School of Business and Economics))
- Nikita Jefymov, Developing a music licensing web stock using machine learning methods, 2016
- Ramon Winder, Dijkstra's shared bathroom problem revisited, 2016
- Randy de Vries, Comparing the performance of blocking and non-blocking hardware transactional memory, 2015
- Tjikin Fung, Removing unreachable transitions in pushdown automata: implementation and performance analysis, 2015
- Reggie Ebendal, Divide-and-conquer algorithm for parallel computation of terminal strongly connected components, 2015
- W. Amadeo Geerman, Optimizations of Dijkstra and Safra's termination detection, 2015
- Thomas Koch, Finding shortest routes with a timetable graph for public transit networks, 2014
- Bryan te Beek, Quantum computing and Grover's algorithm, 2013
- Tamara Roep, Comparison of LL and LR parsing, 2013
- Tim Blankers, Optimizing garbage collection for operating systems in Haskell, 2012
- René van Klink, A comparison of two regular expression matching implementations, 2012
- Bram Veenboer, Are weak semaphores sufficient to implement shared bathrooms?, 2011
- Martijn Broekstra, Queue-locks with non-blocking timeouts, 2011
- Peter Rutgers, Removing useless transition rules from pushdown automata, 2011
- Berry de Groot, Improvement and implementation of lock-free linked lists, 2010
- Brinio Hond, Detecting useless transition rules in non-deterministic pushdown automata, 2009
- Victor van der Veen, A scrutiny of Frederickson's distributed breadth-first search algorithm, 2008
- Annelies van Ees, The LBA problem, 2008