Dr Lorenzo Gheri
Research Associate
PublicationsI am an RA at the University of Oxford. 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.
Lorenzo is now lecturer at Liverpool.
Publications
2022
-
: Design-by-Contract for Flexible Multiparty Session Protocols. ECOOP 2022 .
2021
-
: Zooid: A DSL for Certified Multiparty Computation. PLDI 2021 .
2020
-
: A Very Gentle Introduction to Multiparty Session Types. ICDCIT 2020 .