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)@
Marseille, top of the Mont Puget, 2018



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



Research


Teaching


Curriculum


Page maintained by Davide Barbarossa