Welcome on my math 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 popularization:

HD "Math is Universal" poster

I am in charge of Hippocampe project at Università Roma Tre I started inspired by the experience of the IREM of Marseille.
(Del materiale relativo alla descrizione del progetto e all'attività svolta è disponibile qui)

Loading List


  • 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

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)