| Year |
Student |
Thesis | Supervisors | Programme | Content |
|---|
| 2024‑2025 | Schagen, N. van (Niels) | Developing a Backend Compiler for PDE Simulation on the Anadigm AN231E... | Basold, dr. H., Nieuwpoort van, prof.dr. R.V. | Inf | |
| 2024‑2025 | Wiskerke, J. (Jamie) | Probability theory in the Category of Diffeological Spaces | Basold, dr. H., Dr. O.C. Flynn-Connolly, Dr. R.S. Hazra Ph.D. | Inf | |
| 2023‑2024 | Pirée, L. (Lulof) | A Coalgebraic Modal Logic for Cellular Automata | Basold, dr. H., Ford, Dr.ing. M.C. | CS | |
| 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 | Duivenvoorde, W. (Walt) | Simulating Differential Equations using Hybrid Digital-Analog Computer... | Basold, dr. H., Nieuwpoort van, prof.dr. R.V. | Inf | |
| 2023‑2024 | Sprangers, H. (Huib) | A Type System for Machine Learning Pipelines | Basold, dr. H., Baratchi, dr. M. | 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 | |
| 2022‑2023 | Bolt, Julia | An approach to describing the semantics of Hedy, a gradual programming... | Basold, dr. H., Hermans, dr.ir. F.F.J. | CS | |
| 2022‑2023 | Ende, D. van den (Dirck) | Towards a Compiler for Partial Differential Equations for Analog Compu... | Basold, dr. H., prof.dr. A. Doelman | Inf | |
| 2022‑2023 | Lawson, D. (Dominique) | Formalizing the Van Kampen Theorem for Directed Topology [IW] | Basold, dr. H., dr. P.J. Bruin | Inf | |
| 2022‑2023 | Baronner, T. (Thomas) | Finite accessibility of Higher-Dimensional Automata and unbounded para... | Basold, dr. H., Dr. M. Hablicsek | Inf | |
| 2021‑2022 | Schaap, L. (Lennard) | Formalised Semantics of Lustre | Basold, dr. H., Bonsangue, prof.dr. M.M. | Inf | |
| 2020‑2021 | Dekker, Loes | Formal Semantics of ALCH | Basold, dr. H., Kleijn, prof.dr. H.C.M. | CS | |
| 2020‑2021 | Vlasakker, Rintse van de | Operational Semantics of GHOPFL | Basold, dr. H., Laarman, dr. A.W. | CS | |
| 2019‑2020 | Gramsbergen, D.S. (Danielle) | Subcoinductive Types [IW] | Basold, dr. H., dr. P. Bruin | Inf | |
| 2019‑2020 | Otten, D.D. (Daniel) | Type Theory: W-types and Bisimulation [IW] | Basold, dr. H., dr. P.J. Bruin | Inf | |
| 2019‑2020 | Keizer, A. (Alex) | Coalgebras of Session Types: Defining a Syntax Independent Framework | Basold, dr. H., J.A. Pérez | Inf | |
