Affiliation
School of Electrical and Computer Engineering, National Technical University of Athens
Name | Year | Semester |
---|---|---|
Computation Models, Formal Languages and Automata | 2021-2022 | Spring |
Computation Models, Formal Languages and Automata | 2020-2021 | Spring |
Special Topics in Logic: Dynamic Epistemic Logic | 2020-2021 | Spring |
Special Topics in Logic: Descriptive Complexity | 2019-2020 | Spring |