Affiliation
External Collaborator
Nikolaos Rigas
Courses
| Name | Year | Semester |
|---|---|---|
| Introduction to Homotopy Type Theory | 2024-2025 | Fall |
| Special Topics in Logic: Type Theory | 2023-2024 | Fall |
| Special Topics in Logic: Martin-Löf Type Theory | 2020-2021 | Fall |
| Homotopy Type Theory | 2020-2021 | Spring |