Home                   Research                   Publications                   Teaching                   Contacts                  

Domenico Ruoppolo

Équipe Logique, Calcul ⅋ Raisonnement (LCR) - Laboratoire d'Informatique de Paris Nord (LIPN)
Institut Galilée - Université Paris 13 ("Paris Nord"), Villetaneuse (France) - PRES Sorbonne Paris Cité

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 am a member of the research group Logique, Calcul ⅋ Raisonnement within the Laboratoire d'Informatique de Paris Nord of the Université Paris 13 of Villetaneuse, France.
I have a PhD in Computer Science, received from the aforementioned institution in 2016. My advisors were Giulio Manzonetto and Stefano Guerrini.
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 also took the time to write down a resume, here it is.

Where I come from

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.

What else I did

In 2015-2016 I was a temporary teacher (A.T.E.R.) 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. Details on my teaching activity are here (in French).