skip to content

Department of Computer Science and Technology

I am a lecturer in hybrid AI at the University of Edinburgh and a visiting research fellow at the University of Cambridge. Prior to this, I was a research associate and a PhD student working with Prof. Larry Paulson at the University of Cambridge.

My research interest includes machine learning for theorem proving, interactive theorem proving, verified symbolic computing, and mechanised mathematics.

I believe modern machine learning techniques will revolutionise the way people do mechanised proofs, so that we can build more reliable systems.



Contact Details

Office phone: 
(01223) 7-63768