Teaching
Teaching experience
 Lecturer of the "Topos Theory" course, Master
of Advanced Study in Mathematics at the University of Cambridge
(U.K.), Lent Term 2012 and 2011
Here are the slides that I used as a support for my lectures and the
example sheets of the course. The syllabus of the course is
available here.
Slides:
Lecture 1 
Overview of the course
Lecture 2  Categorical preliminaries I
Lectures 3 and
4  Categorical preliminaries II
Lectures 5 and 6  Sheaves on a site
Lectures 7 and
8  Basic properties of categories of sheaves
Lectures 9 and 10
 Geometric morphisms
Lecture
11  Local operators
Lectures 12
and 13  Geometric morphisms as flat functors
Lectures 14
and 15  Morphisms of sites
Lecture 16 
Points of toposes
Lectures 17
to 20  The interpretation of logic in categories
Lectures 21
and 22  Classifying toposes
Lectures 23
and 24  The unifying methodologies
Example sheets:
Example sheet
1, Example
sheet 2,
Example sheet 3,
Example sheet
4
 Group Leader for the Part III Seminars in Category Theory and Logic, DPMMS,
University of Cambridge (U.K.), 2007 and 2008

Supervisor in Analysis (Part 1A) for students of Trinity College, Cambridge (U.K.)
 Teaching Assistant of Piano at the "Conservatorio di Torino" (Italy), 20052006
Introductory text
Click
here
for a draft of the first chapter of my book in preparation "Lattices of
theories". This 64 pages text is a selfcontained introduction to
toposes, categorical logic and the 'bridge' technique requiring only a
basic familiarity with category theory. Comments are welcome!
Researchlevel lecture courses

"Introduction to categorical logic, classifying toposes and the 'bridge' technique", 5hour lecture course
given in English at the conference "Topos à l'IHÉS" (2327 November 2015).
The videos of the four lectures are available
here. The syllabus of the course is available
here.
An edited version of the four lectures with titles for the
various sections (kindly prepared by S. Dugowson) is available
here.

"Toposes as unifying 'bridges' in Mathematics",
18hour lecture course given in French at the
Institut de mathématiques de Jussieu (Universités Paris
67) from the 14th to the 31st of January 2013. This
course, whose
programme can be found here,
was organized by the « Équipe de logique catégorique » and the
« Laboratoire Preuves, Programmes et Systèmes »
of the Paris 7 University;
video recordings of the lectures are available at
this website.

"The unification of Mathematics via Topos Theory", 8hour lecture course given at the Department of Mathematics of the
University of Padova (Italy), 1st2nd July 2010
 "Introduction to Topos Theory and its unifying role in Mathematics",
12hour nationallevel lecture course giving an introduction to
my research work, Centro di Ricerca Matematica Ennio De Giorgi,
Scuola Normale Superiore di Pisa (Italy), 22nd  26th February 2010.
For more information, please visit the
website of the course.