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.
