Domenico Ruoppolo
Mobility Reading Group, Department of Computing, Faculty of Engineering, Imperial College London, UK

tableau"

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 am a research associate (postdoc) at the Department of Computing of the Imperial College London,
working on session types under the supervision of Nobuko Yoshida.
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.

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. From 2012 to 2018 I was a member of the research group LoVe
(Logique et Vérification) within the Laboratoire d'Informatique de Paris Nord (LIPN) of the Université Paris 13.
More precisely, in 2015-2016 and again in 2017-2018 I was an assistant professor (ATER) there,
whereas from 2012 to 2015 I was enrolled as PhD student. Details on my teaching activity are here (in French).
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 first secular
university in the history of mankind.