# Wenda Li

Department of Computer Science and Technology,

University of Cambridge,

William Gates Building,

15 JJ Thomson Avenue,

Cambridge CB3 0FD, UK

I am a research associate at University of Cambridge, working with Prof. Larry Paulson. 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.