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.
Yu, dr. E.
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 | Formal Methods for AI (4343FMFAI) | MSc | Yu, dr. E. | CS | 6 | ||
| 2026‑2027 | Software Engineering (4032SFTE6) | BSc | Kalavainen, K., Yu, dr. E. | Inf, I&E, DSAI | 6 |
Supervised theses
Information below is sourced from the LIACS Thesis Repository.
| Year | Student | Thesis | Supervisors | Programme |
|---|---|---|---|---|
| 2025‑2026 | Beekman, E. (Enzo) | Certifying Constraints from Hardware Designs | Yu, dr. E., Dr. N. Froleyks | Inf |
Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.