Dr Lorenzo Gheri
Lecturer in Computer Science at the University of Liverpool
Since October 2023, I have been a Lecturer in Computer Science at the University of Liverpool.
Before moving to Liverpool, from 2019 to 2023, I was a Research Associate at the Mobility Reading Group, led by Nobuko Yoshida, University of Oxford (previously at Imperial College London). Previously, I was a research assistant (Wissenschaftliche Mitarbeiter) at the MAIS research group, lead by Heiko Mantel, where I briefly worked on information-flow security. I got my PhD in 2019, from Middlesex University London, where I worked at the Foundations of Computing group. My thesis ("A General Theory of Syntax with Bindings") has been supervised by Rajagopal Nagarajan, Andrei Popescu (Director of Studies) and Franco Raimondi. Before moving to London, I got my BSc and MSc in pure mathematics from the University of Florence (Università degli Studi di Firenze), my hometown in Italy. My Master thesis, on homotopy type theory, was supervised by Marco Maggesi.
My research interests are concurrency, proof assistants, and, more generally, programming languages, theoretical computer science, and logic.
Currently, I am particularly interested in bringing compositionality to the verification and correct specification of distributed concurrent systems and making these systems more expressive. Overall, my work aims to bring correctness to software through formal reasoning. I consider proof assistants (Coq and Isabelle) are a great aid for the community to reach such a goal.