Education @LIACS
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.
Kappé, dr. T.W.J.
This page is for internal use at LIACS only. The information below may be incomplete.
Courses
| Year | Course | BSc/MSc | Staff | Programmes | ECTS | Level | Period |
|---|---|---|---|---|---|---|---|
| 2026‑2027 | Foundations of Computer Science (4031FDCX6Y) | BSc | Bariatti, dr. F., Kappé, dr. T.W.J. | Inf, I&E, DSAI | 6 | 100 | |
| 2026‑2027 | Proof Formalisation (4343PROFX) | MSc | Kappé, dr. T.W.J. | CS | 6 | 500 | |
| 2025‑2026 | Foundations of Computer Science (4031FDCX6Y) | BSc | Bariatti, dr. F., Kappé, dr. T.W.J. | Inf, I&E, DSAI | 6 | 100 | |
| 2025‑2026 | Proof Formalisation (4343PROFX) | MSc | Kappé, dr. T.W.J. | CS | 6 | 500 | |
| 2024‑2025 | Foundations of Computer Science (4031FDCS6) | BSc | Edixhoven, dr. L.J., Kappé, dr. T.W.J. | Inf, I&E, DSAI | 6 | 100 | |
| 2024‑2025 | Proof Formalisation (4343PROFO) | MSc | Kappé, dr. T.W.J. | CS | 6 | 500 |
Supervised theses
Information below is sourced from the LIACS Thesis Repository.
| Year | Student | Thesis | Supervisors | Programme |
|---|---|---|---|---|
| 2025‑2026 | Sligte, I. te (Ivo) | Yune: A Runtime-Free Programming Language with Homogeneous, Hygienic M... | Kappé, dr. T.W.J., Rietveld, dr. K.F.D. | Inf |
| 2024‑2025 | Bichev, I. (Ivan) | Benchmarking Automata Learning | Bonsangue, prof.dr. M.M., Kappé, dr. T.W.J. | DSAI |
| 2024‑2025 | Raven, J. (Jip) | Completeness and Decidability of (Guarded) Kleene Algebra (with Tests)... | Kappé, dr. T.W.J., L.W. Chung | DSAI |
| 2024‑2025 | Leenen, J.P. van (Jort) | Practical Equivalence Checking of P4 Packet Parsers | Kappé, dr. T.W.J., Dr. J.J.M. Martens | Inf |
| 2024‑2025 | Vroegop, T. (Thomas) | Hyper-minimisation of Probabilistic Deterministic Finite Automata | Bonsangue, prof.dr. M.M., Kappé, dr. T.W.J. | Inf |
Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.