É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é
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
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 (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 (that I should find the time to update, actually...), 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
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).
I think that's all for now, until next time...