Domenico Ruoppolo
Équipe LoVe (Logique et Vérification) - Laboratoire d'Informatique de Paris Nord (LIPN)
Institut Galilée - Université Paris 13, Villetaneuse, France - PRES Sorbonne Paris Cité


Home                   Research                   Publications                   Teaching                   Contacts                  

Hello, fellow.
It seems that accidents of life have led you to my web page.

Who ⅋ where I am

I am a (theoretical) computer scientist.
I hold a non-tenured teaching and research position (ATER) at the Université Paris 13 of Villetaneuse, France.
I am a member of the research group LoVe (Logique et Vérification) within the Laboratoire d'Informatique de Paris Nord.
I like to call myself a Parisian Curry-Howardist. More details on my research activity can be found here, and my list of publications here.
I am a teacher at the Institut Galilée. Details on my teaching activity are here (in French).
I also took the time to write down a resume, here it is.

Who ⅋ where I was

I received a PhD in Computer Science from the Université Paris 13 in 2016. My advisors were Giulio Manzonetto and Stefano Guerrini.
In 2015-2016 I was ATER at the Département G.E.A (gestion des entreprises et des administrations) of the Institut Universitaire de Technologie de Villetaneuse of the Université Paris 13. During the previous three academic years I was a teaching assistant in the same place, but affected to the Département Informatique.
In the past, I was trained within the Parisian Master of Research in Computer Science, a joint effort of various universities in Paris. Prior to that, I studied mathematics at the Università di Napoli "Federico II", the very first secular university in the history of mankind.