Registered user since Fri 15 Jan 2016
Name:Wenda Li
Bio:
I am a third year PhD student 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 real algebraic geometry and interative theorem proving. Currenctly, I am building decision procedures within Isabelle/HOL to prove first-order formulas with reals automatically.
Country:China
Affiliation:University of Cambridge
Personal website: http://www.cl.cam.ac.uk/~wl302/
Research interests:computer algebra, interactive theorem proving, formal verification
Contributions
POPL 2016-profile
View general profile
View general profile