| Student |
Thesis | Content |
| Akkad, H. (Hamzeh) | Improving AI-Based Repository Analysis for Multi-Language Feedback | |
| Amatkasan, L. (Lohrenz) | Reconstructing and Smoothing Speed Skater Trajectories with Gaps and Overlap in Multi-Camera Motion Data | |
| Arif, M.H. (Mohammad) | From Classroom to Context Window: Pedagogical Principles in LLM Fine-tuning for GEC | |
| Baris, Q.M. (Quinten) | How does the Performance and Scalability of Velvet Compare to the State-of-the-Art? | |
| Beekman, E. (Enzo) | Certifying Constraints from Hardware Designs | |
| Beijnen, N. van | Futoshiki Solving and Puzzle Design | |
| Blommaert, M.A. (Maric) | Multi-Objective Optimization for Auto-Tuning GPU Kernels | |
| Boukens, T. | Public Perception of AI Creativity with Verbalized Sampling | |
| Brouwer, Y. (Yaell) | Gradual Soft Parameter Sharing with Attention for Music Transcription | |
| Diermen, A. van (Anneroos) | Validating LiNT Readability Formula on Various Text Categories | |
| Dingjan, D. | Improving User Engagement Prediction on Unsplash Using Artificial Intelligence | |
| Druninck, L. van (Lennart) | On The Vulnerabilities of FPGAs to Power Hammering Circuits | |
| Faber, N. (Noa) | Mitigating Gender Bias in a Dutch Language Model by Further Pre-Training on Feminist Texts | |
| Fosu, E. (Ebenezer) | Efficiency of Stigmergic Communication Protocols in Multi-Agent Maze Searches | |
| Fransen, S. (Sven) | Between Service and Self: Probing Consiousness, Perspective, and Self-Preservation in Large Language Models | |
| Gerritse, R. (Renée) | From Attack Trees to Attack Graphs: Implementing Conversion and User Evaluation | |
| Goot, W. van der (Wessel) | Uncovering Malware Development Patterns: A Clustering Analysis of Pre-Deployment Malware | |
| Graaf, S. de | Perception of Ambiguous Tangram Shapes by Vision-Language Models | |
| Guermat, A. el | Analyzing Strategic Methods for First Player Wins in Chomp | |
| Haas, D. de | Exploring Finite Field Multiplication | |
| Hoogenraad, L. (Laura) | Investigating the Use of Large Language Models for Alternative Word Substitution for Dyslexia | |
| Hosea, J. C. | Metaphors for Communicating Musical Expression: Comparing LLMs to Humans Interpreting Metaphors in Piano Performance | |
| Johannsen, L. | Efficient small-object Video Detection via Quantization-Aware Training | |
| Keurentjes, R. | The Effect of Alphabet Reordering on the Bijective Burrows-Wheeler Transform | |
| Kolstee, S. (Sophie) | Optimizing Formula 1 Pit Stop Strategies Using QUBO and Annealing-Based Methods | |
| Koops, A. (Alexander) | Reinforcement Learning as a Strategy for Kernel Tuning | |
| Kraijenoord, M. (Marit) | Learning From Lifeguard Katwijk’s Incident Reports: Finding Patterns and Building a Predictive Model | |
| Kuo, S. (Sophie) | Symbolic Simulation of Quantum Finite Automata | |
| Lelipaly, J. (Joshua) | How to Solve and Generate Numberlink Puzzles Using SAT | |
| Lemaire, R. | Enumerating Superelliptic Function Fields over Finite Fields | |
| Mohanu, N. (Nathanael) | Side-Channel Analysis of the PROACT Chip Prototype: Leakage Assessment of AES, Ascon, and Xoodyak Co-Processors on FPGA | |
| Neves Brito, R. das (Rivaldo) | Building an Experimental Learning Curve Database From Many Configurations of the Gradient Boosting Algorithm | |
| Ouwehand, V. (Valentijn) | Adversarial Honeypot Detection and Deployment with Reinforcement Learning | |
| Petrov, A. (Aleksandr) | Assessing Flight and Sensor Accuracy of the Crazyflie 2.1 | |
| Poll, T. van der (Tristan) | Heuristic AI for Fighting Hollow Knight-Inspired Boss Fights | |
| Popele, S. van (Steven) | Attack Defense Trees in JSON: Design and Conversion | |
| Prooijen, S. van (Simon) | Constructing Maximally Difficult Sliding-Block Puzzles Using State Space Analysis | |
| Reemeijer, A. (Alissia) | Generative AI Use and Academic Belonging in Computer Science Education: A Mixed-Methods Study | |
| Remmerswaal, W. (Wouter) | Quantum Advantage for Combinatorial Optimization Problems | |
| Rodoe, E. (Eline) | Methods to Describe Tandem Repeats in DNA Sequences | |
| Said, M. (Mostafa) | From Logic to Code: How Philosophy Shaped the Birth of Computer Science | |
| Santolla, R. (Romualdo) | A Superpolynomial Lower Bound for the Covering Numbers of PQC-induced Function Classes | |
| Schaap, T. (Thomas) | Compiling CUDA Tile IR to Multi-Core CPUs Using MLIR | |
| Seçkin, R.U. (Ramizcan Umut) | Evaluating Emotional and Contextual Art Interpretation with Large Multimodal Models | |
| Simonides, K. (Koen) | Prompting Strategies for Mutation and Crossover Operators in LLM Based Evolutionary Algorithms | |
| Sin, C. Y. (Chuck Yin) | A Comparison Between Traditional and LLM Recommendation System Performance | |
| Siswowijoto, M. (Michael) | Secure Multi-Party Logistic Regression for Detecting Unusual Medical Ordering Behaviour Across Hospitals | |
| Sligte, I. te (Ivo) | Yune: A Runtime-Free Programming Language with Homogeneous, Hygienic Macros | |
| Smit, R. | Het Construeren en Evalueren van Dienstregelingen | |
| Sutrisno, S. | Supporting Self-Regulated Planning: A Digital Tool for First-Year Computer Science Students | |
| Taal, P. (Pollux) | A Heuristic Approach For Goal-Oriented Agent Navigation In A Continuous Environment | |
| Velden, K. van der (Koen) | Evaluating Persona-Aware Boundary-Setting and Companionship-Reinforcing Behaviour in LLM Companions Across User Vulnerability Profiles | |
| Verheul, L.A. (Luca) | Evaluation of Causal Inference Methods for Gene Perturbation Prediction: Reconstructing and Extending Perturbation Prediction Metrics | |
| Vos Burchart, S. de | Postmortale Weefseluitnames: Centraal of Decentraal? Een Analyse van Personeelsinzet en Donorverwerkingsgraad met Optimalisatie en Simulatie | |
| Wisker, J. (Justin) | Finding the Best Balatro Start Decks Using a Tool that Calculates the Best Discards | |
| Xu, J. (Jiajia) | Generation of Synthetic COVID-19 Chest X-ray Images and Evaluation of Their Realism and Diagnostic Consistency | |
