Lawrence started following the work of Jim Woodcock.
Lawrence started following the work of Richard Drayton.
Lawrence started following the work of Steven Obua.
Faculty Member, Computer Laboratory
Professor of Computational Logic
Fellow, Clare College
About
My research concerns automated theorem proving. I originated and continue as a developer of Isabelle, a widely used interactive theorem prover. I have recently developed MetiTarski, an automatic theorem prover for real-valued special functions.
I supervise several PhD students. I present two lecture courses and teach a number of undergraduates.
Contact Information
| Homepage: | |
| Address: | 15 JJ Thomson Avenue |
