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.
Ford, Dr.ing. M.C.
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 | Computational Models and Semantics (4343CMS6X) | MSc | Basold, dr. H., Ford, Dr.ing. M.C. | CS | 6 | 500 | |
| 2025‑2026 | Computational Models and Semantics (4343CMS6X) | MSc | Basold, dr. H., Ford, Dr.ing. M.C. | CS | 6 | 500 | |
| 2024‑2025 | Computational Models and Semantics (4343CMS6X) | MSc | Basold, dr. H., Ford, Dr.ing. M.C. | CS | 6 | 500 |
Supervised theses
Information below is sourced from the LIACS Thesis Repository.
| Year | Student | Thesis | Supervisors | Programme |
|---|---|---|---|---|
| 2023‑2024 | Pirée, L. (Lulof) | A Coalgebraic Modal Logic for Cellular Automata | Basold, dr. H., Ford, Dr.ing. M.C. | 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 |
Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.