LIACS Thesis Repository
These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science
(LIACS),
the computer science and artificial intelligence department of Leiden University.
Note: this thesis repository might be incomplete for certain programmes.
Students supervised by Basold, dr. H. (Henning)
Note: the overview per supervisor is likely partially incomplete.
16 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| Master Computer Science | 2024 | first supervisor | Pirée, L. (Lulof) | A Coalgebraic Modal Logic for Cellular Automata | |
| Master Computer Science | 2024 | first supervisor | Remmerswaal, F. (Floyd) | Validation & Simulation of Software-Defined Network Specifications in ... | |
| Master Computer Science | 2024 | first supervisor | Starkenburg, B. (Berend) | Working Towards Category Theoretic Semantics for Separation Logic | |
| Bachelor Informatica | 2024 | first supervisor | Duivenvoorde, W. (Walt) | Simulating Differential Equations using Hybrid Digital-Analog Computer... | |
| Bachelor Informatica | 2024 | first supervisor | Sprangers, H. (Huib) | A Type System for Machine Learning Pipelines | |
| Bachelor Data Science an... | 2023 | first supervisor | Tuk, M. (Mattias) | Usability of VR in the construction of category theoretical diagrams | |
| Master Computer Science | 2023 | first supervisor | Bolt, Julia | An approach to describing the semantics of Hedy, a gradual programming... | |
| Bachelor Informatica | 2023 | upervisor | Ende, D. van den (Dirck) | Towards a Compiler for Partial Differential Equations for Analog Compu... | |
| Bachelor Informatica | 2023 | supervisor | Lawson, D. (Dominique) | Formalizing the Van Kampen Theorem for Directed Topology [IW] | |
| Bachelor Informatica | 2023 | first supervisor | Baronner, T. (Thomas) | Finite accessibility of Higher-Dimensional Automata and unbounded para... | |
| Bachelor Informatica | 2022 | first supervisor | Schaap, L. (Lennard) | Formalised Semantics of Lustre | |
| Master Computer Science | 2021 | first supervisor | Dekker, Loes | Formal Semantics of ALCH | |
| Master Computer Science | 2021 | first supervisor | Vlasakker, Rintse van de | Operational Semantics of GHOPFL | |
| Bachelor Informatica | 2020 | supervisor | Gramsbergen, D.S. (Danielle) | Subcoinductive Types [IW] | |
| Bachelor Informatica | 2020 | supervisor | Otten, D.D. (Daniel) | Type Theory: W-types and Bisimulation [IW] | |
| Bachelor Informatica | 2020 | first supervisor | Keizer, A. (Alex) | Coalgebras of Session Types: Defining a Syntax Independent Framework |