D. Barbarossa

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.

From 01/2024 to 01/2026, I was a post-doctoral Research Associate in the Mathematical foundations of computation group of the the Department of Computer Science of the University of Bath.
I worked within Thomas Powell's EPSRC project Imperative Programs from Proofs.
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.