Introduction to Game Theory. Doctoral School on Computer Science, University of Bolzano. 2016.
Introduction to Multiagent systems. Doctoral School on Information and Communication Technology, University of Trento. 2016
Introduzione alle logiche dell'azione. Master in Philosophy. University of Genova. Autumn 2015.
Computer Vision Meets Formal Ontology: advanced methods, recent applications and perspectives. (with M. Cristani, R. Ferrario). Trento. June 2015.
Giudizi, preferenze, deliberazioni: modelli di scelta sociale. University of Padova. November 2012.
Logic Programming and Search Techniques. BSc Artificial Intelligence, University of Amsterdam, Autumn 2011.
Normative Foundations and Mathematical Modelling of Egalitarian and Utilitarian Welfare.Master of Logic project, University of Amsterdam, January 2011.
Modern Classics in Social Choice Theory. Master of Logic project (co-lecturer), University of Amsterdam, June 2009.
Tutorial Proofs and Dialogues. Workshop "Dialogues and Games: Historical Roots and Contemporary Models". February 2010.
Exercise Class in Mathematical Logic, Department of Philosophy, University of Genoa, 2005-2007.
Elements of logic, Master in Cognitive Science, 2005.