π-calculus, Session Types research at Imperial College

Dr Domenico Ruoppolo
Research Associate

I am an RA in the Department of Computing at Imperial College London. Previously I was an assistant professor (ATER) at the University Paris 13, where I also completed a PhD in 2016 under the supervision of Giulio Manzonetto and Stefano Guerrini. My research lies at the interface of logic, theoretical computer science and category theory provided by the Curry-Howard correspondence. Specifically, I am interested in the study of proofs and programs through the lens of denotational semantics. In this context, sometimes I explore abstract categorical axiomatizations, sometimes I study more concrete models of lambda-calculi, especially those related to linear logic and intersection type theory.