Welcome on my webpage!

When I was child I wanted to be a cook. I like to put stuffs together and see what you get. By logical consequence I study proof theory. I am particularly interested to the application of proof theory to privacy, security and trust.
I am also interested in new approaches to mathematical teaching and I try to make people see the marvel of math.

Where am I now?


Research topic of interest:

Recent papers:

You may want the complete list

Teaching this way

Mathematics and Computer Science didactic and popularization:

HD "Math is Universal" poster

I strongly believe that the mathematics taught at school is outdated: we mostly teach analysis from the 18th century pushing on the computational aspect instead of teaching mathematical reasoning. At the same time computer science is often confused with learning how to use the Office package and, for some lucky students, to some programming languages whose only purpose is high school teaching.

The role of school in society has changed, and now more than ever we should teach students how to reason instead of feed them with notions.
I like to scout for new topics which can be adapted for a problem-based learning in mathematics and computer science. My experiences with the stages Hippocampes and Liceo Matematico confirm that another way to teach mathematics is possible: you can teach goniometry using billiards, automates using coffee machines, group theory using tessellations and a lot of funny stuff!

However, I am now playing the publish-or-perish hunger games. Sadly this kind of research does not realy pay, then the only material I was able to produce in these years can be found here. I hope to have more time to spend on this in the future. Feel free to contact me if you want to know more.

PS: I was in charge of Hippocampe project at Università Roma Tre form 2016 to 2019 when I directed the following stages:

Loading List

Previous positions:


  • Ph.D Thesis (Advisor: Yves Lafont, 2016): "String diagram rewriting: applications in category and proof theory" (pdf)
    Jury members: Willem Heijltjes (referee), Samuel Mimram (referee), Vito Michele Abrusci, Pierre-Louis Curien, Miriam Quatrini, Luigi Santocanale, Lorenzo Tortora De Falco.
  • Tesi di Laurea Magistrale (Advisors: Yves Lafont, Lorenzo Tortora De Falco, 2013): "Undecidability of the word problem for groups: the point of view of rewriting theory" (pdf).
  • Raport de Master (Advisors: Yves Lafont, Lorenzo Tortora De Falco, 2012): "Comparing various proofs of the Novikov-Boone theorem based on rewriting" (pdf).
  • Tesi di Laurea Triennale (Advisor: Marco Liverani, 2011): "Algoritmi efficienti per la soluzione del problema Clique" (pdf).
Me and Yves at Fundació Joan Miró


Usefull Tools:

  • Catex: Y. Guiraud's latex package for string diagrams;
  • Catix Plugin M. Pascucci's Python executable to subsitute Catex macros with tizk code in .tex files;
A proof of Pitagora's theorem from
Oliver Byrne book

Spring 2020: Contract Lecturer at the American University of Paris (54h):

2019: Assegno di ricerca at Università Roma Tre (45h):

2018 Stages Hippocampe at Università Roma Tre (30h):

2017: 6 months ATER at LMNO, Université de Caen Normandie (96h):

2016 Stages Hippocampe at Università Roma Tre (30h):

2015-2016: ATER at I2M, Aix-Marseille Université (192h):

2012-2015: Teaching duties during Ph.D. (Doctorant chargé d'enseignement) at I2M, Aix-Marseille Université (192h in the course of 3 years):

2008-2010: Teaching support (tutorial) at Università Roma Tre:

Hippocampe workshops are three-days educational workshops for high school students. Hosted by a university, the student are guided to conduct some research activities on mathematics.
I am currently in charge of Hippocampe workshops at the University Roma Tre (Rome, Italy).
More information about the workshops:

Les stages Hippocampe sont des ateliers pédagogiques de trois jours destinés aux élèves des écoles secondaires. Hébergé par une université, les étudiants sont guidé pour mener des activités de recherche en mathématiques.
Je suis actuellement en charge de la mise en oeuvre des stages à l'Université Roma Tre (Rome, Italie).
Plus d'information sur les stages:

Gli stage Hippocampe sono dei laboratori didattici di tre giorni destinati agli studenti delle scuole superiori. Ospitati da un'università, gli studenti sono guidati nel condurre delle ricerche su degli argomenti di matematica.
Attualmente sono responsabile degli stage che si svolgono presso l'Università Roma Tre. Per maggiori informazioni:

The hippocampus plays important roles in the consolidation of information from short-term memory to long-term memory, and in spatial memory that enables navigation.

L'hippocampe est une structure du cerveau qui joue un rôle central dans la mémoire et la navigation spatiale.

L'ippocampo svolge un ruolo importante nella formazione delle memorie esplicite (dichiarativa e semantica), nella trasformazione della memoria a breve termine in memoria a lungo termine e nella navigazione spaziale

  • En français: ici
  • In italiano: qui

2019 Hippocampe workshops at Università Roma Tre (Workshop supervisor):

2019 Stages Hippocampe à l'Università Roma Tre (en tant que encadrant et organisateur):

2019 Stages Hippocampe presso l'Università Roma Tre (Responsabile del laboratorio):

2018 Hippocampe workshops at Università Roma Tre (Workshop supervisor):

2018 Stages Hippocampe à l'Università Roma Tre (en tant que encadrant et organisateur):

2018 Stages Hippocampe presso l'Università Roma Tre (Responsabile del laboratorio):

2016 Hippocampe workshops at Università Roma Tre (Workshop supervisor):

2016 Stages Hippocampe à l'Università Roma Tre (en tant que encadrant et organisateur):

2016 Stages Hippocampe presso l'Università Roma Tre (Responsabile del laboratorio):

2012-2016 Hippocampe workshops at IREM in Marseille (tutor during the workshops):

2012-2016 Stages Hippocampe à l'IREM in Marseille (en tant que tuteur):

2012-2016 Stage Hippocampe presso l'IREM di Marsiglia (tutor durante il laboratorio)

  • "Les polyédres"
  • "Maths á la carte"
  • "L’infini"
  • "Maths en embuscades"
  • "Nœuds"
  • "Matématiques et arts"
  • "Matrices"

  • 2019/2020 Liceo Cannizzaro-Università Roma Tre:

    Computing... with water

    Calculer... avec de l'eau

    Calcolare... con l'acqua

  • 2018/2019 Liceo Cannizzaro-Università Roma Tre:

    Plane tassellation and wallpaper groups. Platonic solids, football balls and Euler characteristic

    Pavages et groupes de symétrie du plan. Solides platoniques, ballons de football et caractéristique d'Euler

    Tassellazioni e gruppi di simmetria del piano. Solidi platonici, palloni da calcio e caratteristica di Eulero

  • 2019 Masterclass in Matematica-Università Roma Tre:

    High-school student one-day university courses in mathematics

    Journée de cours universitaire sur des sujets de mathématiques

    Giornata ri corsi universitari per studenti delle scuole superiori su argomenti di matematica

    • Masterclass in Logic: From syllogisms to computers (with Prof. Michele Abrusci)
    • Masterclass in Geometria: Plane symmetry groups (with Prof. Andrea Bruno)
    • Masterclass en Logique: Des syllogismes à l'ordinateur (avec Prof. Michele Abrusci)
    • Masterclass en Geometrie: Groupes des symétrie du plan (avec Prof. Andrea Bruno)
    • Masterclass in Logica: Dai sillogismi al computer (con il Prof. Michele Abrusci)
    • Masterclass in Geometria: Gruppi di simmetria del piano (con il Prof. Andrea Bruno)

During my staying as lecturer at LMNO (Université de Caen Normandie) I partecipate to the project of mathematics popularization Labosaïque. This project proposes workshops to a wide rage of students form elementary school to high school. To do so, the project has produced some didactival tools such as mirror chambers and tassellation blocks which help to explain basic notion on plane and space symmetry groups.

Pendant mon ATER au LMNO (Université de Caen Normandie), j'ai participé aux activités du projet de vulgarisation des mathématiques Labosaïque. Ce projet propose des ateliers pour les étudiants des écoles primaire, collèges et lycées. Dans les atelier proposees par le projet, il est expliqué la notion de groupes de symétrie du plane et de l'espace grâce à des outils didactic produits par le projet (chambres à miroirs et des blocs de tassellation).

Durante il mio contratto di insegnamento presso il laboratorio LMNO (Université de Caen Normandie) ho partecipato al progetto di diffusione scientifica Labosaïque. Il progetto propone interventi di divulgazione della matematica agli studenti delle scuole elementari, medie e superiori grazie a del materiale pedagogico di supporto prodotto dal progetto. Il progetto popone diversi laboratori duranti i quali vengono illustrate delle nozioni di base sui gruppi di simmetria del piano e dello spazio, grazie a camere a specchi e modelli concreti di tassellazioni.

  • Pourquoi les Grecs ne pouvaient-ils pas calculer π ? (Pi-Day 2018, Marseille)