π-calculus, Session Types research at Imperial College

Dr Lorenzo Gheri
Research Associate

I am an RA at Imperial College London. I did my PhD at Middlesex University London, supervised by Andrei Popescu, Rajagopal Nagarajan and Franco Raimondi. From pure mathematics, my research interests have landed on the theory of programming languages, through proof assistants. For my PhD, I developed a formalised framework (in Isabelle/HOL) for specifying, and reasoning about, syntaxes with bindings. Later I worked on type systems for concurrent security. Currently I am focussing on the formalisation of multiparty session types (in Coq) and on investigating techniques for certifying communication.