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 ? Where am I ?
My name is Davide Barbarossa
(not to be confused with drummer David Barbarossa,
even though I also love drums)

Born on 12/10/1994 in Rome (Italy)
Natural languages: Italian, French, English
Artificial languages: Assembly, C, Coq , Java, Matita, Python, Shell Unix
Marseille 2023, top of Notre Dame de la Garde
 Laboratoire LIP – ENS Lyon
46 Allée d'Italie
69364 LYON Cedex 07
France

Office: M7.316
Email = (λx.davide.barbarossaxens-lyon.fr)@

Currently

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.

Previously


Home

CV

Research

Teaching

Page maintained by Davide Barbarossa