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.
Hiep, dr. H.D.
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 |
|---|---|---|---|---|---|---|---|
| 2023‑2024 | Concepts of Programming Languages (4032CNPRE) | BSc | Hiep, dr. H.D. | Inf, DSAI | 6 | 200 | |
| 2023‑2024 | Program Correctness (4032PRGCR) | BSc | Hiep, dr. H.D. | Inf, DSAI | 6 | 300 | |
| 2022‑2023 | Concepts of Programming Languages (4032CNPRE) | BSc | Hiep, dr. H.D. | Inf | 6 | 200 | |
| 2022‑2023 | Program Correctness (4032PRGCR) | BSc | Boer, prof.dr. F.S. de, Hiep, dr. H.D. | Inf, DSAI | 6 | 300 | |
| 2021‑2022 | Concepts of Programming Languages (4032CNPRE) | BSc | Hiep, dr. H.D. | Inf | 6 | 200 | |
| 2021‑2022 | Program Correctness (4032PRGCR) | BSc | Boer, prof.dr. F.S. de, Hiep, dr. H.D. | Inf | 6 | 300 |
Supervised theses
Information below is sourced from the LIACS Thesis Repository.
| Year | Student | Thesis | Supervisors | Programme |
|---|---|---|---|---|
| 2022‑2023 | Azzegarh, O. (Oualid) | A Concurrent Visual Programming Language | Hiep, dr. H.D., Kosters, dr. W.A. | Inf |
| 2022‑2023 | Bingen, Z.A. (Zahir) | Verification of Combinational and Sequential Circuits in LEAN3 | Hiep, dr. H.D., Laarman, dr. A.W. | Inf |
| 2022‑2023 | Tatman, A. S. (Andrew) | Formal Specification and Analysis of OpenJDK’s BitSet Class | Bonsangue, prof.dr. M.M., Hiep, dr. H.D. | Inf |
Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.