CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Wenda Li

Registered user since Fri 15 Jan 2016

Name:Wenda Li

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.

Affiliation:University of Cambridge
Research interests:computer algebra, interactive theorem proving, formal verification


CPP 2016 A Modular, Efficient Formalisation of Real Algebraic Numbers
Show activities from other conferences

POPL 2016-profile
View general profile