Affiliation
External Collaborator
Nikolaos Rigas
Courses
| Name | Year | Semester |
|---|---|---|
| Special Topics in Logic: Martin-Löf Type Theory | 2020-2021 | Fall |
| Homotopy Type Theory | 2020-2021 | Spring |
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"