| 2026 | Li, Y. (Yujie) | Open-World Continual Learning via Knowledge Transfer | Bonsangue, prof.dr. M.M., Prof. Dr. Xing Wang (SWUFE) | PhD |
| 2024‑2025 | Bichev, I. (Ivan) | Benchmarking Automata Learning | Bonsangue, prof.dr. M.M., Kappé, dr. T.W.J. | DSAI |
| 2024‑2025 | Chaara, O. (Oumnia) | Enhancing Biodiversity Stability: Adaptive Parameter Optimization in A... | Dijk, ir. M.K. van, Bonsangue, prof.dr. M.M., Deutz, dr. A.H. | DSAI |
| 2024‑2025 | Iqbal, K. (Keith) | Optimizing Deep Reinforcement Learning Architectures for Pacman: A Com... | Bonsangue, prof.dr. M.M., Moerland, dr. T. | DSAI |
| 2025 | Barbero, G. (Giulio) | Artificial Intelligence, Games and Education | Bonsangue, prof.dr. M.M., prof.dr. F.F.J. Hermans, Preuss, dr. M. | PhD |
| 2024‑2025 | Gu, X. (Xiaolin) | The Impact of AI on Enhancing Software Testing | Bonsangue, prof.dr. M.M., Visser, prof.dr.ir. J.M.W. | CS |
| 2024‑2025 | Kumar, M. (Manasvi) | Mixed-Integer Self-Adjusting Constrained Optimization by Radial Basis ... | Wang, dr. H., Bonsangue, prof.dr. M.M. | CS |
| 2024‑2025 | Kumar, M. (Manasvi) | Feasibility Study for Automatic Regression Analysis of Lithography Mac... | Wang, dr. H., Bonsangue, prof.dr. M.M. | CS |
| 2024‑2025 | Sharma, R. (Ritesh) | Predictive Test Advice System: Enhancing Software Testing Efficiency a... | Salehkaleybar, dr. S., Bonsangue, prof.dr. M.M. | CS |
| 2024‑2025 | Vroegop, T. (Thomas) | Hyper-minimisation of Probabilistic Deterministic Finite Automata | Bonsangue, prof.dr. M.M., Kappé, dr. T.W.J. | Inf |
| 2024 | Bian, J. (Jinting) | Reasoning about Object-Oriented Programs: From Classes to Interfaces | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2024 | Chu, W. (Wenjing) | Automata Learning: from Probabilistic to Quantum | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | PhD |
| 2024 | Feng, H. (Hui) | Formal Models of Software-Defined Networks | Bonsangue, prof.dr. M.M. | PhD |
| 2024 | Javanmardi, S. (Shima) | From Pixels to Patterns: AI-Driven Image Analysis in Multiple Domains | Verbeek, prof.dr.ir. F.J., Bonsangue, prof.dr. M.M. | PhD |
| 2023‑2024 | Remmerswaal, F. (Floyd) | Validation & Simulation of Software-Defined Network Specifications in ... | Basold, dr. H., Bonsangue, prof.dr. M.M., Laarman, dr. A.W. | CS |
| 2023‑2024 | Starkenburg, B. (Berend) | Working Towards Category Theoretic Semantics for Separation Logic | Basold, dr. H., Ralaivaosaona, Bonsangue, prof.dr. M.M. | CS |
| 2023‑2024 | Zuurmond, L. (Lucas) | Probably Approximately Correct Automata Extraction from Neural Network... | Bonsangue, prof.dr. M.M., Ford, Dr.ing. M.C. | Inf |
| 2022‑2023 | Tuk, M. (Mattias) | Usability of VR in the construction of category theoretical diagrams | Basold, dr. H., Bonsangue, prof.dr. M.M. | DSAI |
| 2023 | Dokter, K.P.C. (Kasper) | Scheduled Protocol Programming | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M. | PhD |
| 2022‑2023 | Tatman, A. S. (Andrew) | Formal Specification and Analysis of OpenJDK’s BitSet Class | Bonsangue, prof.dr. M.M., Hiep, dr. H.D. | Inf |
| 2022‑2023 | Wuhrer, J. (Jakob) | Extending methods for approximate determinization of weighted automata... | Bonsangue, prof.dr. M.M., dr. P.J. Bruin | Inf |
| 2022 | Chen, X. (Xueqin) | Information Diffusion Analysis in Online Social Networks Based on Deep... | Bonsangue, prof.dr. M.M., Prof. Dr. F. Zhang (UESTC), dr. F. Zhou (UESTC) | PhD |
| 2021‑2022 | Schaap, L. (Lennard) | Formalised Semantics of Lustre | Basold, dr. H., Bonsangue, prof.dr. M.M. | Inf |
| 2018‑2019 | Hijmans, Bart | Constructing Monitors for Reo Circuits | Bonsangue, prof.dr. M.M., Arbab, prof.dr. F. | CS |
| 2018‑2019 | Xu, Yuanmin | Formal Analysis and Improvement of the PKMv3 and 5G AKA Protocols | Bonsangue, prof.dr. M.M., Laarman, dr. A.W. | CS |
| 2018‑2019 | Bouman, J.Q. (Jeffrey) | Recovering from Controllers Failures in Software Defined Networks | Bonsangue, prof.dr. M.M., F. Hui | Inf |
| 2018‑2019 | Turkenburg, R.T.C. (Ruben) | Greibach Normal Form for Weighted Context-Free Grammars [IW] | Bonsangue, prof.dr. M.M., dr. P.J. Bruin | Inf |
| 2018‑2019 | Weijer, W. (Wessel) de | A Decision Procedure for Weighted Automata Equivalence [IW] | Bonsangue, prof.dr. M.M., dr. M. Streng | Inf |
| 2016‑2017 | Latour, A.L.D. (Anna) | Incremental Algorithms for Solving Stochastic Constraint Optimisation ... | Bonsangue, prof.dr. M.M., Lucas, prof.dr. P.J.F., Nijssen, dr. S.G.R. | CS |
| 2016‑2017 | Fokkinga, D.B. (Daniel) | Towards Learning Software Models: making documentation easier | Bonsangue, prof.dr. M.M., Kleijn, prof.dr. H.C.M. | Inf |
| 2016‑2017 | Muinck Keizer, D. (David) de | A Control Flow Graph Generator for Java Code | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | Inf |
| 2015‑2016 | Kappé, T.W.J. (Tobias) | Logic for Soft Component Automata | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M. | CS |
| 2015‑2016 | Mohorko, D. (Dennis) | Specifying and Analyzing Paradigm Diagrams through UML Diagrams | Groenewegen, dr. L.P.J., Bonsangue, prof.dr. M.M. | CS |
| 2015‑2016 | Nes, M.W. (Matthijs) van de | Developing Efficient Concurrent C Application Programs using Reo | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M., dr. S.-S.T.Q. Jongmans | CS |
| 2015‑2016 | Koschny, J. (Julius) | Design and Analysis of a Controller for the iRobot Create | Stefanov, dr. T.P., Bonsangue, prof.dr. M.M. | Inf |
| 2015‑2016 | Werf, U.M. (Ulbo) van der | Describing Heaps using Kleene algebra with Tests | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | Inf |
| 2015‑2016 | Woerden, W. (Wessel) van | The Closest Vector Problem in Cyclotomic Lattices [IW] | dr. L. Ducas, Bonsangue, prof.dr. M.M. | Inf |
| 2015 | Rot, J.C. (Jurriaan) | Enhanced Coinduction | Boer, prof.dr. F.S. de, prof.dr. J.J.M.M. Rutten, Bonsangue, prof.dr. M.M. | PhD |
| 2014‑2015 | Burger, J. (Jelco) | Context Free Guarded Languages: A System for Determining Guarded Strin... | Bonsangue, prof.dr. M.M., Kosters, dr. W.A. | Inf |
| 2013‑2014 | Delft, L. (Leroy) van | Simulation and Mathematical Structures for Asynchronous Stream Circuit... | Bonsangue, prof.dr. M.M., Hoogeboom, dr. H.J. | CS |
| 2013‑2014 | Jochems, J. (Jennifer) | Partial Derivatives for KAT Expressions | Bonsangue, prof.dr. M.M., Hoogeboom, dr. H.J. | Inf |
| 2013‑2014 | Rensen, M. (Michel) | An On-Line Parsing Algorithms for Conjunctive Grammars | Bonsangue, prof.dr. M.M., Hoogeboom, dr. H.J. | Inf |
| 2013‑2014 | Stuivenberg, A. (Arthur) | Equivalence Checking of Regular Expressions using Non-Deterministic Fi... | Bonsangue, prof.dr. M.M., dr. J. Rot | Inf |
| 2013‑2014 | Vinkhuijzen, L. (Lieuwe) | Reducing Copying and Network Traffic in Reo Circuits | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M. | Inf |
| 2013 | Gouw, C.P.T. (Stijn) de | Combining Monitoring with Run-time Assertion Checking | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2012‑2013 | Buijsman, S. (Stefan) | Typing Streams | Bonsangue, prof.dr. M.M. | Inf |
| 2012‑2013 | Kappé, T. (Tobias) | Linear Stream Circuits and Rational Streams: there and back again | Bonsangue, prof.dr. M.M., J. Rot | Inf |
| 2012‑2013 | Leuven, J. (Joost) | Testing of Channel Based Service Connectors | Bonsangue, prof.dr. M.M. | Inf |
| 2012‑2013 | Rijn, S. (Sander) van | Implementing a Model Checker for Simple Recursive Languages | Bonsangue, prof.dr. M.M. | Inf |
| 2012 | Hoek, R. (Robin) van der | Integrating Testing and Quality Assurance into the Agile Software Deve... | Bonsangue, prof.dr. M.M., Chaudron, prof.dr. M.R.V. | CS |
| 2012 | Delft, L. (Leroy) van | Efficient Equivalence Checking of Regular Expressions | Bonsangue, prof.dr. M.M., dr. J. Rot | Inf |
| 2011 | Izadi, M. (Mohammad) | Model Checking of Component Connectors | Arbab, prof.dr. F., prof.dr. A. Movaghar, Bonsangue, prof.dr. M.M. | PhD |
| 2011 | Nobakht, B. (Behrooz) | Deploying Active Objects onto Multicore | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | CS |
| 2011 | Rot, J.C. (Jurriaan) | Automated Verification of Pointer Programs | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | CS |
| 2010 | Grüner, A. (Andreas) | Testing Object Interactions | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M., dr. M. Steffen | PhD |
| 2010 | Rot, J.C. (Jurriaan) | A Pushdown System Representation for Unbounded Object Creation | J. Rot, Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | Inf |
| 2009 | Stam, A.W. (Andries) | Interaction Protocols in PARADIGM: Extensions to a Modeling Language t... | Kok, prof.dr. J.N., Bonsangue, prof.dr. M.M., dr. E.P. de Vink | PhD |
| 2009 | Gouw, S. (Stijn) de and Helvensteijn, M. (Michiel) | Automatic Program Verification in Mist | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | CS |
| 2009 | Stafleu, J. (Jasper) | UML Specification of and UML Tooling for Paradigm | Groenewegen, dr. L.P.J., Bonsangue, prof.dr. M.M. | CS |
| 2008 | Jacob, J.F. (Joost) | Domain Specific Modeling and Analysis | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2007 | Guillen Scholten, J.V. (Juan) | Mobile Channels for Exogeneous Coordination of Distributed Systems | Arbab, prof.dr. F., Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2007 | Rikkers, E. (Edwin) | Robocop Components Trust and Simulation | Bonsangue, prof.dr. M.M., dr. A. Stam | CS |
| 2006 | Wolf, L. (Leo) | Design of a System for Processing and Retrieving Medical Narrative Dat... | Kok, prof.dr. J.N., Bonsangue, prof.dr. M.M., prof.dr. J.H.M. Zwetsloot-Schonk | CS |
| 2005 | Bruin, J.S. (Jeroen) de | A Simulator for Component Based Systems | Bonsangue, prof.dr. M.M., Kok, prof.dr. J.N. | CS |
| 2003 | Cheung, K.H.E. (Kok Hing) | Business Modelling with Testbed and UML | Bonsangue, prof.dr. M.M., Kok, prof.dr. J.N. | CS |
| 2002 | Wijk, H.J. (Henk Jan) van der | Gedistribueerde Architecturen en het ‘Mobil Channel Model' | Bonsangue, prof.dr. M.M., Kok, prof.dr. J.N. | CS |
