---

These webpages contain information on the various educational programmes and courses offered at or by the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.

---

---

Basold, dr. H.

This page is for internal use at LIACS only. The information below may be incomplete.

Courses

Year	Course	BSc/MSc	Staff	Assistants	Programmes	ECTS	Period
2026‑2027	Computational Models and Semantics (4343CMS6X)	MSc	Basold, dr. H., Ford, Dr.ing. M.C.		CS	6
2026‑2027	Logic 1 (4031LOGX1Y)	BSc	Basold, dr. H.		Inf, I&E, DSAI	3
2026‑2027	Logic 2 (4032LOG2X)	BSc	Basold, dr. H.		Inf, DSAI	3
2026‑2027	Mathematical Structures in Computer Science (4032MATSCY)	BSc	Basold, dr. H., Wang, dr. H., Verbitsky, prof. dr. E., Hazra, dr. R.S.		Inf, DSAI	6
2025‑2026	Basics of Computer Systems (4032MBCSXY)	BSc	Basold, dr. H., Ralaivaosaona, T.		mCSGE	6
2025‑2026	Computational Models and Semantics (4343CMS6X)	MSc	Basold, dr. H., Ford, Dr.ing. M.C.		CS	6
2025‑2026	Logic 1 (4031LOGX1Y)	BSc	Basold, dr. H., Ralaivaosaona, T.		Inf, I&E, DSAI	3
2025‑2026	Logic 2 (4032LOGX2Y)	BSc	Basold, dr. H., Ralaivaosaona, T.		Inf, DSAI	3
2025‑2026	Mathematical Structures in Computer Science (4032MATSCY)	BSc	Basold, dr. H., Wang, dr. H., Verbitsky, prof. dr. E., Hazra, dr. R.S.		Inf, DSAI	6
2024‑2025	Basics of Computer Systems (4032MBCS6)	BSc	Basold, dr. H., Ralaivaosaona, T.		mCSGE	6
2024‑2025	Computational Models and Semantics (4343CMS6X)	MSc	Basold, dr. H., Ford, Dr.ing. M.C.		CS	6
2024‑2025	Logic 1 (4031LOGI1)	BSc	Basold, dr. H., Ralaivaosaona, T.		Inf, I&E, DSAI	3
2024‑2025	Logic 2 (4032LOGI2)	BSc	Basold, dr. H., Ralaivaosaona, T.			3
2023‑2024	Basics of Computer Systems (4032MBCS6)	BSc	Basold, dr. H., Ralaivaosaona, T.		mCSGE, Other	6
2023‑2024	Computational Models and Semantics (4343CMS6XY)	MSc	Basold, dr. H.		CS	6
2023‑2024	Introduction to Logic (4031ILOGI)	BSc	Basold, dr. H., Ralaivaosaona, T.		Inf, I&E, DSAI	6
2022‑2023	Computational Models and Semantics (4343CMS6XY)	MSc	Basold, dr. H.		CS	6
2022‑2023	Essentials of Computing Systems (4032ESSCS)	BSc	Basold, dr. H., Papuc, Ir. D.		I&E, BioInf, DSAI, mCSGE	6
2022‑2023	Introduction to Logic (4031ILOGI)	BSc	Basold, dr. H.		Inf, I&E, BioInf, DSAI	6
2021‑2022	Computational Models and Semantics (4343CMS6XY)	MSc	Basold, dr. H.		CS	6
2021‑2022	Essentials of Computing Systems (4032ESSCS)	BSc	Basold, dr. H., Ralaivaosaona, T.F.R.		I&E, BioInf, mCSGE	6
2021‑2022	Introduction to Logic (4031ILOGI)	BSc	Basold, dr. H.		Inf, I&E, BioInf	6

Supervised theses

Information below is sourced from the LIACS Thesis Repository.

Year	Student	Thesis	Supervisors	Programme
2024‑2025	Schagen, N. van (Niels)	Developing a Backend Compiler for PDE Simulation on the Anadigm AN231E...	Basold, dr. H., Nieuwpoort, prof.dr. R.V. van	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, prof.dr. R.V. van	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	Baronner, T. (Thomas)	Finite accessibility of Higher-Dimensional Automata and unbounded para...	Basold, dr. H., Dr. M. Hablicsek	Inf
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
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	Keizer, A. (Alex)	Coalgebras of Session Types: Defining a Syntax Independent Framework	Basold, dr. H., J.A. Pérez	Inf
2019‑2020	Otten, D.D. (Daniel)	Type Theory: W-types and Bisimulation [IW]	Basold, dr. H., dr. P.J. Bruin	Inf

Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.