PhD Students

• Djurre van der Wal - What is.. the Point? (2024)
  with Arend Rensink and Mariëlle Stoelinga [URL]

MSc Students

• Nick Wolters - Building a Grammar : Generating samples for Weighted Attribute Grammars (2025)
  with Gwenn Englebienne and Vadim Zaytsev [URL]
• Wander Nauta - AValAnCHE: Improving robustness of the VerCors verification toolset using fuzzing (2025)
  with Marieke Huisman and Kuan Chen [URL]
• Peter Smit - A study on static taint analysis techniques in Ruby (2025)
  with Andrea Continella and Vadim Zaytsev [URL]
• Lars van Arkel - Procedural generation and validation of fixed-viewpoint digital nature landscapes (2024)
  with Marcello Gómez Maureira and Vadim Zaytsev [URL]
• Melike Oğuz - Creating a collaborative Mixed Reality experience (2024)
  with Dennis Reidsma, Elga de Kruyk and Shelly Zanoni [URL]
• Puck Kemper - Designing Dynamic Digital Environmental Enrichment for Capuchin Monkeys (2024)
  with Robby van Delden and Lisette van den Berg [URL]
• Nathan Doornenbal - Providing information for the implantation of hybrid learning in Dutch pre-vocational secondary education (2024)
  with Angelika Mader and Karen Slotman [URL]
• Stijn Slebos - Experimental study of a novel RF sensing application for measuring soluble sugar and electrical conductivity in the tomato plant stem (2023)
  with Paul Havinga and Jacob Kamminga [URL]
• Yujie Li - Testing and Mutation Testing for GPU Kernels (2023)
  with Marieke Huisman, Ana-Lucia Verbanescu and Ben van Werkhoven [URL]
• Maaike Keurhorst - A Closed Domain Question Answering System for a Genetic Counselor within the ECG Family Clinic (2023)
  with Randy Klaasen and Lorenzo Gatti [URL]
• Andrei Popa - Gotta adjust them all! : Dynamic Difficulty Adjustment of Role-Playing Games Through Procedural Generation of Non-Player Characters (2023)
  with Robby van Delden, Dennis Reidsma and Vadim Zaytsev [URL]
• Le Thi Nhi Ha - Aggregation in probabilistic databases: Implemented for DuBio (2022)
  with Maurice van Keulen and Jan Flokstra [URL]
• Jenny den Ouden - A quest for the best automated tests: Estimating software reliability based on Spec Explorer's on-the-fly test results (2016)
  with Mariëlle Stoelinga and Jaco van de Pol [URL]

BSc Students

• Ruud Rupert - Modeling of Bluetooth discovery for Model-Based Testing (2025)
  Solo-supervision [URL]
• Fèlix Navarro - Can NLP Bots Perceive the Intensity of Emotions? (2025)
  Solo-supervision [URL]
• Sorin Zele - Codebase Modernity: one step forward (2025)
  with Vadim Zaytsev [URL]
• Dmitry Goryachkin - Dynamic vs Static Typing Performance for Built-In Types in GDScript in the Godot Game Engine (2025)
  Solo-supervision [URL]
• Femke Stockmann - Engaging Data Visualization with Saxion’s Data Skyline (2025)
  with Faizan Ahmed [URL]
• Maja Lamminga - Interactive data visualisation of energy consumption by Saxion buildings on Saxion's Dataskyline (2025)
  with Faizan Ahmed [URL]
• Christopher Nase - Arachne: An OSINT-Based Knowledge Graph Interface for Homicide Case Analysis (2025)
  with Swikar Bhandari [URL]
• Kevin Friesacher - Implementing Music Therapy in a Multiplayer Virtual Reality Environment (2025)
  with Josca van Houwelingen-Snippe [URL]
• Arne Arends - Monitoring endangered wildlife utilising computer vision models (2025)
  with Faizan Ahmed [URL]
• Danylo Liashenko - Model-based Probabilistic Testing of a Transmission Protocol deployed on Microcontrollers. (2025)
  Solo-supervision [URL]
• Thijs Beumer - Measuring Code Modernity of Codebases Written in JavaScript (2025)
  with Vadim Zaytsev [URL]
• Erik Porietis - Implementing and Testing the BB84 Quantum Cryptography Protocol in Cirq (2025)
  Solo-supervision [URL]
• Jonathan Jeuring - Using everyday space as an interface for reducing Late-Night Snacking (2025)
  with Champika Epa Ranasinghe [URL]
• Hana Šinković - AI-based Affective Mirroring in Video Game NPCs (2024)
  with Marcello Gómez Maureira [URL]
• Ellis Dijkstra - Script Sensei : A vector-based algorithm to correct Japanese kanji (2024)
  with Gwenn Englebienne [URL]
• Emilie van Eps - A Machine Learning Approach to Enhance Tack Performance for Alinghi Red Bull Racing (2024)
  with Angelika Mader [URL]
• Luca Andrei - Test Quest: Improving the Onboarding Experience for Novice Dungeons and Dragons Players Through Personalised AI-Generated Content (2024)
  with Thérèse Bergsma [URL]
• Lucas van Koppen - Integrating a Human Feedback Loop in PCG for Level Design Using LLMs (2024)
  with Marcello Gómez Maureira [URL]
• Matthew Jordan - Retrofitted: Enhancing Immersion in SoloRPGs through Large Language Models (2024)
  with Thérèse Bergsma [URL]
• Robert-Jan Nijhuis - A physics-based cellular automaton model for wildland fire evolution (2024)
  with Carlos Pérez Arancibia [URL]
• Sterre Kuijper - Design of Urban Parks Using Wave Function Collapse (2024)
  with Marcello Gómez Maureira [URL]
• Joris Köster - Dynamic Foam Detection in Biogas Digestion Processes through Computer Vision (2024)
  with Alexia Briassouli [URL]
• Marije Kok - ObSURFing women’s surfing communities: Encouragement in the women’s surfing community in Scheveningen (2024)
  with Thérèse Bergsma [URL]
• Susanne Fuentes Bongenaar - Data Physicalization of Real-Time Library Occupancy at the University of Twente: A Participatory Design Approach (2024)
  with Champika Epa Ranasinghe [URL]
• Baurzhan Ongarbayev - Using ICT tools for the social and financial integration of migrants into local societies (2024)
  with Andreas Kamilaris [URL]
• Haroun Mangal - CPSL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems (2024)
  with Vadim Zaytsev [URL]
• Selin Mehmed - Domain-Specific Languages for Cyber-Physical Systems : A Survey (2024)
  with Vadim Zaytsev [URL]
• Aliaksei Kozel - Developing a DSL Design Methodology for CPS Diagnostics (2024)
  with Vadim Zaytsev [URL]
• Marko Vasylenko - Input Invariants in Fuzz-testing (2024)
  with Vadim Zaytsev [URL]
• Mark Troicins - Measuring Code Modernity of the C# Language Codebases. (2024)
  with Vadim Zaytsev [URL]
• Chris Bleeker - Measuring Code Modernity in Rust (2024)
  with Vadim Zaytsev [URL]
• Benjamin Jansen - Enabling Predictive Maintenance through Efficient Data Warehousing - A Case Study (2023)
  with Faizan Ahmed [URL]
• Cristian Zubcu - Effect of Normalization Techniques on Modernity Signatures in Source Code Analysis (2023)
  with Vadim Zaytsev [URL]
• Martijn van Ooijen - Designing a Toolkit Based on Playful Learning Aspects to be Used in a Puzzle Route (2023)
  with Marcello Gómez Maureira [URL]
• Vladimir Kobzev - Dia: a Domain Specific Language for Scripted Dialogues and Cutscenes (2023)
  with Vadim Zaytsev [URL]
• Jannick Siderius - Teaching (Tiny)ML using a tangible educational kit (2023)
  with Marcello Gómez Maureira [URL]
• Wouter Bollen - Bloomi: Motivating Older Adults to be Physically Active by Physicalization of Physical Activity Data (2023)
  with Champika Epa Ranasinghe [URL]
• Luukas Kiviniemi - Fraction farm : tangible learning experiences for learning fractions (2023)
  with Champika Epa Ranasinghe [URL]
• Kristian Tijben - Generating Gloomhaven dungeons through evolutionary game design (2023)
  with Faizan Ahmed [URL]
• Jonas Hentschel - Point cloud segmentation via active learning in the context of railway infrastructure (2023)
  with Faizan Ahmed [URL]
• Chris Admiraal - Calculating the modernity of popular python projects (2023)
  with Vadim Zaytsev [URL]
• Clara Drăgănuță - Physicalizing electromagnetic spectrum for tangible learning (2022)
  with Champika Epa Ranasinghe [URL]
• Yulin Chen - GameEvolver: A tool to potentially automatically improve board games (2022)
  with Faizan Ahmed [URL]
• Bas van de Weerd - Using Modern Technology for Combinatorial Boardgame Design and Discovery (2022)
  with Faizan Ahmed [URL]
• Wouter van den Brink - Weighed and found legacy: modernity signatures for PHP systems using static analysis (2022)
  with Vadim Zaytsev [URL]
• Berke Güdücü - Weighted Abstract Syntax Trees for Program Comprehension in Java (2022)
  with Vadim Zaytsev [URL]
• Jan Douwe Beekman - Procedural location generation with weighted attribute grammars (2021)
  with Vadim Zaytsev [URL]
• Ruijuan Li - Generative Probabilistic Programming in Games: Creating Character Backgrounds Using a Bayesian Network (2021)
  with Vadim Zaytsev [URL]