Wenda Li

Lecturer, School of Informatics, University of Edinburgh
Joined
September 2020

Names

Wenda Li (Preferred)

Emails

****@cam.ac.uk (Confirmed)
, 
****@ed.ac.uk (Confirmed)
, 
****@ed.ac.uk (Confirmed)

Personal Links

Career & Education History

Lecturer
School of Informatics, University of Edinburgh (ed.ac.uk)
2023 – Present
Postdoc
Department of Computer Science and Technology, University of Cambridge (cam.ac.uk)
2017 – 2023
PhD student
Department of Computer Science and Technology, University of Cambridge (cam.ac.uk)
2013 – 2019

Advisors, Relations & Conflicts

PhD Advisor
Larry Paulson
2013 – 2023

Expertise

language models
2020 – Present
deep learning
2018 – Present
automated reasoning
2016 – Present

Publications

View all 59 publications

Co-Authors

View all 85 co-authors