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) Spoken languages: Italian, French, English Programming languages: C, C++, Java, Coq Where am I? Institut Galilée, Université Paris 13 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

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.


• a.y. 2017/18: Master II (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.


• 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.

Page maintained by Davide Barbarossa