I am now playing the publish-or-perishhunger games.
Sadly research on teaching of mathematics and computer science does not realy pay.
The only material I was able to produce in the past 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:
ProofzillaV.0.1 (manual): a LateX package for graphs and proof nets representation.
The package is under development, any feedback or suggestion is welcome. If you have any request or proposal for new features write me.
Ph.D student at I2M
(Sept 2012 / Dec 2016 )
[Ph.D. advisor: Yves Lafont].
Thesis:
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).
CM [Lecturer] Introduction à l'Analyse (PeiP
semester 1, 35h) with Prof. Lorenzo Brasco (Lorenzo's Notes du cours).
TD [Excercise sessions] Géométrie et Aritmétique 1
(Licence 1 Maths/Info, 20h+20+20h) for Prof. Christophe
Pittet, Prof. Yves Lafont, Prof. Tomasz Miernowski.
Stage Hippocampe: "Les polyédres" (12h).
2012-2015: Teaching duties during Ph.D. (Doctorant chargé
d'enseignement) at I2M, Aix-Marseille Université (192h in
the course of 3 years):
TD [Excercise sessions] Géométrie et Aritmétique 1
(Licence 1 Maths/Info, 20h+20h+20h+20h) for Prof. Glenn
Merlet.
TD [Excercise sessions] Algébre Liméaire 1
(Licence 1 Maths/Info 20h+20h) for Prof. Guillaume Rond and
Prof. Paul Donato.
Stages Hippocampe: "Maths á la carte" (12h), "L’infini"
(12h), "Maths en embuscades" (12h), "Nœuds" (12h),
"Matématiques et arts" (12h), "Matrices" (12h).
Algebra 2: Gruppi, Anelli, Campi (24h) of Prof.
F. Tartarone (2008) and Prof. F. Pappalardi (2009 and 2010).
Geometria 1: Algebra Lineare (30h) of Prof. E.
Sernesi (2009) and Prof. L. Caporaso (2010).
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 was in charge of Hippocampe workshops at the University Roma Tre (Rome, Italy) from 2016 to 2019.
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.
J'étais en charge de la mise en oeuvre des stages à l'Université Roma Tre (Rome, Italie) du 2016 au 2019.
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.
Sono stato responsabile degli stage che si svolgono presso l'Università Roma Tre dal 2016 al 2019.
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
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.
orcid.org/0000-0002-0425-2825
.com