About Me

I am a Computer Scientist with a background in Mathematical Logic. My research focuses on Formal Methods, which I apply across diverse areas including Machine Learning, Programming Language Theory, and Organic Chemistry.

I am Professor in Computer Science at University College London and a member of the Programming Principles, Logic and Verification Group. I am also Programme Director of the BSc and MEng Computer Science at University College London.

I hold a PhD in Computer Science from the École Normale Supérieure (Lyon, France), a Master of Science in Logic from the University of Amsterdam and a Bachelor of Arts in Philosophy from the University of Siena.

I am currently a Creator for the Safeguarded AI programme at ARIA (Advanced Research and Invention Agency). My previous work has been supported by the EPSRC (Engineering and Physical Sciences Research Council), the Ethereum Foundation, and MIUR (Italian Ministry of Research and Higher Education).