Lorenzo Gheri

PhD Student in Computer Science

Foundations of Computing Research Group

Middlesex University London


  • Middlesex University, The Burroughs, London, NW4 4BT, UK

email contact:

  • lg571(at)live.mdx.ac.uk

I am currently a PhD student in Theoretical Computer Science at the Foundations of Computing group, Middlesex University London. My current supervisors are 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), in Italy.

The topic I am working on for my PhD is Abstract Syntax, with particular attention to binding structures. I have been investigating features common to different syntaxes, such as recursion, induction and (capture avoiding) substitution.

All the development and results of my current work are being formalized in the Isabelle/HOL proof assistant, using mainly techniques from Category Theory, Nominal Logic and Model Theory.

From a wider point of view, my research interests are Mathematical Logic, Formal Proofs, Abstract Algebra and the Foundations of Mathematics (I worked a bit with Coq and Homotopy Type Theory for my Master Thesis, supervised by Marco Maggesi).