D. Barbarossa

Curriculum of Davide Barbarossa

You can download my detailed curriculum here.

From 03/2022 to 01/2024, I was a post-Doc researcher at the Dipartimento di Informatica of Università di Bologna (the oldest still active university in the western world!).
I worked within Ugo Dal Lago's ERC CoG project Differential Program Semantics (DIAPASoN).
In 12/2021, I obtaned a PhD in Theoretical Computer Science at the Laboratoire d'Informatique de Paris Nord of Université Sorbonne Paris Nord and the Dipartimento di Matematica of Università di Roma Tre, with supervisors: Giulio Manzonetto and Lorenzo Tortora de Falco.
Have a look at the dedicated page.

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.