Supervised master theses (since 2002)
- Carlos Perales Liñan, AlMa: Building a research topic overview using argument mining and machine learning, master Computer Science, VU Amsterdam, November 2020 (daily supervision Paolo Torroni, Università di Bologna)
- Philip Roeleveld, Anomaly detections with autoencoders for heterogeneous datasets, master Computer Science, VU Amsterdam, November 2020 (daily supervision Jan van der Vegt, Cubonacci)
- Dalia Papuc, Guaranteed nonblockingness in supervisor synthesis, master Parallel and Distributed Computer Systems, VU Amsterdam, March 2020 (daily supervision Michel Reniers, TU/e)
- Alissa de Bruijn, Detecting offensive language using transfer learning, master Business Analytics, VU Amsterdam, October 2019 (daily supervision 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 supervision 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 supervision 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 supervision 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 supervision 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 supervision 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 supervision 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 supervision 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 supervision Vincent de Bruijn, Axini)
- Renske Augustijn, Multivalued logics and hyper transitions in SpinJa, master Parallel and Distributed Computer Systems, VU Amsterdam, November 2015 (daily supervision Stefan Vijzelaar)
- Arnaud Loonstra, Concurrency for creative coding, master Media Technology, U Leiden, September 2015 (co-supervisor Maarten Lamers)
- Michel Degenhardt, Proving the correctness of the BTTF wave algorithm for distributed termination detection, master Computer Science, VU Amsterdam, July 2014 (daily supervision Farhad Arbab, CWI)
- Abdellatif Lghali, Generating dimensional data marts from meta-data: a proof of concept prototype, master Business Analytics, VU Amsterdam, April 2014 (daily supervision Hans van Leijen, TomTom)
- Kevin de Berk, Model checking test models, master Computer Science, VU Amsterdam, February 2014 (daily supervision Machiel van der Bijl, Axini)
- Olga Havlickova, Hierarchical range queries on encrypted data, master Computer Science, VU Amsterdam, September 2013 (daily supervision Zekeriya Erkin, TU Delft)
- Lars Lockefeer, Formal specification and verification of TCP extended with the window scale option, master Computer Science, VU Amsterdam, July 2013
- 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 supervision 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 supervision 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 supervision 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)
- 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)
- 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