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 an Italian PhD student in Computer Science at the Université Paris 13 of Villetaneuse, France.
I am a member of the research group Logique, Calcul ⅋ Raisonnement of the Laboratoire d'Informatique de Paris Nord. My advisors are Stefano Guerrini and Giulio Manzonetto.
I am a Parisian Curry-Howardist. More details on my research activity can be found here, and my (quite short) list of publications here.
I co-organize with Damiano Mazza the weekly seminar of our research group. So please, feel free to contact either me or him, if you are interested in giving a talk on topics of interest to us.
By the way, I 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 do

I am 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. Details on my teaching activity are here (in French).


I think that's all for now, until next time...