Davide Barbarossa

Webpage of Davide Barbarossa

Depuis les Grecs qui dit mathématique dit démonstration.
-- Nicolas Bourbaki (Éléments de mathématique; Théorie des ensembles).

Who am I?

My name is Davide Barbarossa
Born on 12/10/1994 in Rome (Italy)
Natural languages: Italian, French, English
Artificial languages: Assembly, C, Coq , Java, Python, Shell Unix

Where am I?

Institut Galilée, Université Sorbonne Paris Nord
99, avenue Jean-Baptiste Clément
93430, Villetaneuse (France)
Office: B311
Telephone: +33 1 49 40 36 60
Email = (λx.barbarossaxlipn.univ-paris13.fr)@

Currently

I am a PhD student 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.
Supervisors: G. Manzonetto and L. Tortora de Falco.

Education

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: L. Tortora de Falco.
Thesis: On the computational content of proofs (Topics: Curry-Howard correspondence; Krivine's classical realizability).
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: L. 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: C. Bernardi and L. Tortora de Falco.
a.y. 2012/13: Maturità scientifica (High school graduation) at Liceo Scientifico G. Peano in Monterotondo (Roma).
Mark: 100/100.

You can download my detailed pdf curriculum here.

Research

Teaching

Page maintained by Davide Barbarossa