| 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 (Niels) | Futoshiki Solving and Puzzle Design | |
| Bijl, M. van der (Michiel) | ButtonCheck: a Framework to Benchmark the Performance of Netcodes for Fighting Games | |
| Blommaert, M.A. (Maric) | Multi-Objective Optimization for Auto-Tuning GPU Kernels | |
| Boom, N. (Nick) | Usage of Neuromorphic Hardware Accelerators for Low-Latency and Low-Power RFI Mitigation | |
| Boonstra, O. (Oscar) | Visualisation of Historical Mobility Patterns of Former Leiden University Professors (1575-1812) | |
| Boukens, T. (Tim) | Public Perception of AI Creativity with Verbalized Sampling | |
| Bras, M. (Merijn) | DREUS: Precomputed Workload Splitting for Tunable Performance-Energy Balancing in Online Heterogeneous Multicore Scheduling | |
| Brouwer, Y. (Yaell) | Gradual Soft Parameter Sharing with Attention for Music Transcription | |
| Brussee, L. (Lars) | The Impact of Mid-Circuit Measurements on Quantum Reinforcement Learning for the Cartpole Problem | |
| Delft, A. van (Angela) | The Cascading Effect of De-Anonymization Attacks in Social Networks | |
| Dingjan, D. (Dylan) | Improving User Engagement Prediction on Unsplash Using Artificial Intelligence | |
| Druninck, L. van (Lennart) | On The Vulnerabilities of FPGAs to Power Hammering Circuits | |
| Faas, L. (Laura) | A Case Study on Automated Machine Learning on Binary Image Segmentation for Wildfire Detection for Earth Observation Data | |
| 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 | |
| Gesta, C. (Cesar) | Structurally Optimizing the Fairness of Graph Centrality Measures | |
| Goot, W. van der (Wessel) | Uncovering Malware Development Patterns: A Clustering Analysis of Pre-Deployment Malware | |
| Graaf, S. de (Sofie) | Perception of Ambiguous Tangram Shapes by Vision-Language Models | |
| Guermat, A. el (Anassel) | Analyzing Strategic Methods for First Player Wins in Chomp | |
| Haas, D. de (Daniël) | Exploring Finite Field Multiplication | |
| Hayd, I. (Ikraan) | How Fine-Tuned Encoder Models and a Zero-Shot Decoder Model Handle Annotator Disagreement in Hate Speech Detection | |
| Hoijtema, S. van (Sam) | Profiling and Optimizing the DP3 Radio Astronomy Pipeline | |
| Hoogenraad, L. (Laura) | Investigating the Use of Large Language Models for Alternative Word Substitution for Dyslexia | |
| Hosea, J. C. (Jonathan) | Metaphors for Communicating Musical Expression: Comparing LLMs to Humans Interpreting Metaphors in Piano Performance | |
| Jansen, A. (Amber) | Induction of Groupoid Representations via Kan Extensions | |
| Keurentjes, R. (Ruben) | 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. (Rogier) | 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 | |
| Ramdas, R. (Rahul) | Combining Minecraft Redstone and Fundamentals of Digital Systems Design for Secondary Education | |
| 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 | |
| Riedeman, E. (Emil) | A Geometric Approach to the Lattice Isomorphism Problem | |
| Rodoe, E. (Eline) | Methods to Describe Tandem Repeats in DNA Sequences | |
| Rutgers, R. (Raoul) | A Coalgebraic Cellular Automaton Model for the Verification of Redstone Systems with Minimal Logical Fragments | |
| 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 | |
| Schouten, L. (Lisa) | Differences in Side-Channel Power Analysis Attacks of Selected Cryptographic Algorithms on Different Implementation Targets | |
| 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. (Robin) | Het Construeren en Evalueren van Dienstregelingen | |
| Stijger, N. (Nick) | How can the Testing Setup for the PROACT SoC be Optimized? | |
| Sutrisno, S. (Sherly) | 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 | |
| Testers, S. (Sam) | From Discrete-Time Markov Chains to Coalgebras: A General Theory of Limit Points | |
| Tielens, P. (Paul) | POMO on the VRPTW: Comparing Constraint-Handling Approaches | |
| 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 | |
| Verlaat, G. van 't (Geerke) | The Effect of Work-Stealing Approaches on the Runtime of Velvet-Parallelized Programs | |
| Vos Burchart, S. de (Simone) | 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 | |
| Wooning, S. (Suzanne) | Exploring the Use of ChatGPT for Creating Meaningful Dilemmas for Narrative Games | |
| Xu, D. (David) | Investigating Iterative Hyperparameter Refinement by Large Language Models for Reinforcement Learning | |
| Xu, J. (Jiajia) | Generation of Synthetic COVID-19 Chest X-ray Images and Evaluation of Their Realism and Diagnostic Consistency | |
