| Student |
Thesis |
Content |
| Bannenberg, L. (Lou) | Checking for Compatibility in Team Automata | |
| Bavdaz, A. (Alenka) | Comparing Markov Chain and Recurrent Neural Network Algorithms for Text Generation | |
| Boom, B. (Bernard) van den | Dutchism Detector | |
| Bosch, N.F.A. (Nick) van den | A Comparison of Hashing Algorithms | |
| Chow, K.L. (Kin Lok) | Multiobjective Pattern Mining in Bitcoin Data and Genetic Landscapes | |
| Duba, D. (Dico) | Retting PIPE: Extending the Petri Net tool PIPE 5 | |
| Edixhoven, L. (Luc) | Attacking the n-Puzzle Using SAT Solvers | |
| Faas, M. (Micky) | Sparse Voxel Mip-Maps: Versatile Lossy Compression of Volumetric Data | |
| Gent, D. (Daan) van | Graph Isomorphism in Quasi-polynomial Time [IW] | |
| Huibers, J. (Jarno) | AI Agents for the Card Game Love Letter | |
| Huybers, R. (Richard) | Mario (of hoe je een Programmeerwedstrijd kunt Winnen) | |
| Koschny, J. (Julius) | Design and Analysis of a Controller for the iRobot Create | |
| Lamers, C. (Christiaan) | Quantum Cryptography | |
| Latenko, A. (Alexander) | Explorative Study on Hierarchical Temporal Memory | |
| Louwe, A. (Anneloes) | Constructing Petri Net Models from Biological Literature using Structured Annotation | |
| Nibbeling, J. (Joost) | Implementation of A Parallel Back Substitution Solver on GPUs | |
| Oostdam, J. (Jasper) | Design and Simulation of an Embedded Controller for the iRobot Create robot by Integrating ROS in Gazebo | |
| Persoon, R. (Ricardo) | Design and Implementation of Website Backup as a Service | |
| Post, M. (Martijn) | Mythbusting Data Mining Urban Legends through Large Scale Experimentation | |
| Roos, D. (Dennis) | Transformation of Membrane Systems | |
| Ruijter, S. (Sander) | Dynamically Evolving L-system Generated Plant Visualizations | |
| Staalduinen, J.H. (Jan) van | Gathering and Managing Spatiotemporal Data | |
| Veen, S. (Simone) van | Anomaly Detection in Cybersecurity | |
| Visser, T. (Timothy) | Workforce Survey Data Analysis: Potentials and Pitfalls | |
| Vreumingen, D. (Dion) van | Real Time Force Field Simulation for Stm Controlled Molecular Electronics Experiments using Cuda gpu Programming | |
| Werf, U.M. (Ulbo) van der | Describing Heaps using Kleene algebra with Tests | |
| Werff, C.R.A. (Chivany) van der | Tetris Strategies in a Multiplayer Environment | |
| Woerden, W. (Wessel) van | The Closest Vector Problem in Cyclotomic Lattices [IW] | |
| Wubben, S.J. (Sander) | Predicting the Risk of Overload in Overcommitted Server Clusters | |
| Zwaan, D. (Dennis) van der | Developing an Integrated Environment for OPT Image Reconstruction | |
