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.