Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Lawrence Paulson

Registered user since Fri 3 Jul 2015

Name: Lawrence Paulson

Bio: Lawrence Paulson is Professor of Computational Logic at the University of Cambridge Computer Laboratory, where he has held established positions since 1983. He has written over 90 refereed conference and journal papers as well as four books. He introduced the popular Isabelle theorem proving environment in 1986, and made contributions to the verification of cryptographic protocols, the formalisation of mathematics, automated theorem proving technology, and other fields. He has supervised over 20 postgraduate students and numerous postdoctoral researchers. In 2008, he introduced MetiTarski, an automatic theorem prover for real-valued functions such as logarithms and exponentials. He has the honorary title of Distinguished Affiliated Professor from the Technical University of Munich and is an ACM Fellow.

Country: United Kingdom

Affiliation: University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~lp15/

Research interests: automated theorem proving, verification, formalisation of mathematics, foundations of computer security

Contributions

CPP 2019Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile