Lorenzo Gheri

PhD Student in Computer Science

Foundations of Computing Research Group

Middlesex University London

address:

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

email contact:

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


I am currently a Ph.D. student in Theoretical Computer Science at the Foundations of Computing group at 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 Ph.D. is Abstract Syntax, with particular attention to binding structures. I have been investigating the features common to different syntaxes, such as recursion, induction and (capture avoiding) substitution.

All the development and results 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).