skip to content

Department of Computer Science and Technology

  • Research Associate

I am a research associate in the Programming, Logic, and Semantics Group at the Computer Laboratory of the University of Cambridge, under the supervision of Prof. Lawrence C. Paulson .

I am interested in mechanised mathematics and verified decision procedures in proof assistants. I have been building verified procedures in computer algebra in the Isabelle proof assistant to reason about non-linear arithmetic.

I am also excited about the synergy between automated reasoning and modern NLP technuques like language modelling, which I believe will revolutionize the way we derive formal proofs.




In preparation

Journal and conference publications


Archive of Formal Proofs

Contact Details

Office phone: 
(01223) 7-63768