- Theory of Computation (CSC 573), Spring 2024— at U. of Arizona.
- POPL: Principles Of Programming Languages (CSC520), Fall 2024— at U. of Arizona.
- Laurea (BS) in Informatica: Fondamenti dell'Informatica up to 2022!
- Master in Philosophical Sciences: Philosophy and epistemology of science.(2020-2022)
- Master in Technology Law: New technologies and data management (2021-2022)
- PhD course on "Presenting a paper" @ UNIVR. Slides. (a classic)
- Linguaggi di Programmazione (2016-2017)
- Code Obfuscation: a Hacking view on program analysis and understanding.(2016-2018)
- Codice Malevolo (MAD: Malware Analysis and Design) (2016-2017)
- Laurea Magistrale in Ingegneria e Scienze Informatiche: Analisi Statica e Protezione (2012-2013)