teaching

PhD Courses
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.