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.
I will be joining the University of Edinburgh as a lecturer (equivalent to assistant professor in the US) in September. I will have full scholarships for home and international students - if you want to pursue a PhD with me, please get in touch.