CURRENTLY
Logical Methods (with Marcello D’Agostino and Hykel Hosni)
MA in Philosophical Sciences, Curriculum Reasoning Analysis and Modelling, University of Milan (IT).
Logic of Computation and Information
MA in Philosophical Sciences, Curriculum Reasoning Analysis and Modelling, University of Milan (IT).
Logica
BA in Philosophy, University of Milan (IT).
PREVIOUSLY
2018-2020
Philosophy of Computation and Information
MA in Philosophical Sciences, University of Milan (IT).
2015–2018
History and Philosophy of Computing (Module Leader), BSc Computer Science, Middlesex University London.
2013–2018
Programming and Mathematical Foundations, BSc Computer Science, Middlesex University London.
2014–2015
Software Development: Java, BSc Computer Science, Middlesex University London.
2013–2014
Databases: Design and Online, BSc Computer Science, Middlesex University London (UK).
2012–2014
Fuzzy Sets and Approximate Reasoning, Postgraduate Studies in Logic, Philosophy and History of Science, Ghent University (BE).
2007-2012
Survey of Philosophy of Mathematics, Postgraduate Studies in Logic, Philosophy and History of Science, Ghent University (BE).
2002-2006
Logic I & Philosophy of Logic, BA in Philosophy and Ethical Sciences, Palermo University (IT).