teachings
PhD Courses
- 2021-2022: Game-Theoretic Approach to Planning and Synthesis, National PhD Program in Artificial Intelligence.
- 2018-2019: Game Theory and Formal Methods Short Course, Computer Science Program, University of Leicester.
Undergraduate and Graduate Courses
- 2022-2023: Data Management and Analysis (Unit 1), Undergraduate, Applied Computer Science and Artificial Intelligence, Sapienza University of Rome.
- 2022-2023: Basi di Dati (Modulo 1), Undergraduate, Informatica, Sapienza University of Rome.
- 2021-2022: Informatica, Undergraduate, Tecnologie per la Conservazione e il Restauro di Beni Culturali, Sapienza University of Rome.
- 2021-2022: Basi di Dati (Modulo 1), Undergraduate, Informatica, Sapienza University of Rome (Exams support).
- 2021-2022: Geometria, Undergraduate, Ingegneria Informatica e Automatica, Sapienza University of Rome.
Tutoring
- 2020-2021: Formal Methods, Graduate, Ingegneria Informatica e Automatica, Sapienza University of Rome.
- 2020-2021: Reasoning Agents, Graduate, Ingegneria Informatica e Automatica, Sapienza University of Rome.
- 2017-2018: Computer-Aided Formal Verification, Undergraduate and Graduate, Computer Science, University of Oxford.
- 2016-2017: Computational Complexity, Undergraduate and Graduate, Computer Science, University of Oxford.
- 2016-2017: Computer-Aided Formal Verification, Undergraduate and Graduate, Computer Science, University of Oxford.