Curriculum of Davide Barbarossa
You can download my detailed curriculum here (not yet available).
Since 02/2026, I am a post-doctoral Researcher in the PLUME team of the the Laboiratoire de l'Informatique du Parallélisme of the École Normale Supérieure de Lyon.
Previously
When I was a student
-
a.y. 2017/18: Laurea Magistrale (Master's degree) in Mathematics at Università Roma Tre.
Specialization: Logica Matematica ed Informatica Teorica.
Mark: 110/110 cum laude.
Supervisor: Lorenzo Tortora de Falco.
Thesis: On the computational content of proofs (Topics: Curry-Howard correspondence; Krivine's classical realisability).
-
a.y. 2017/18: M2 (Master's degree) in Mathematics at Université d'Aix-Marseille.
Specialization: Mathématiques Discrètes et Fondements de l'Informatique.
Mark: Très bien.
Supervisor: Laurent Regnier.
Thesis: L'axiome de l'ultrafiltre dans la la réalisabilité classique de Krivine.
-
a.y. 2015/16: Laurea triennale (Bachelor's degree) in Mathematics at Università di Roma La Sapienza.
Mark: 110/110 cum laude.
Supervisors: Claudio Bernardi and Lorenzo Tortora de Falco.
-
a.y. 2012/13: Maturità scientifica (High school graduation) at Liceo Scientifico G. Peano in Monterotondo (Roma).
Mark: 100/100.
Page maintained by Davide Barbarossa