Webpage of Davide Barbarossa

Le savant doit ordonner ; on fait la science avec des faits comme une maison avec des pierres ;
mais une accumulation de faits n’est pas plus une science qu’un tas de pierres n’est une maison.
-- Henri Poincaré (La Science et l'Hypothèse).

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
 Office: B35
Email : TBA

IUT de Metz – Département Informatique
Île du Saulcy
57045 Metz

Office: TBA
Email : TBA

LORIA, Campus Scientifique
54506 Vandœuvre lès Nancy

Currently

Since 09/2026, I am Maître de Conférences (∼Lecturer) at Université de Lorraine.
I do research in Mathematical Logic and Theoretical Informatics at LORIA.
I teach Applied Informatics at Département Informatique of IUT de Metz.

Previously


Home

CV

Research

Teaching

Page maintained by Davide Barbarossa