Lawrence Paulson
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 69 |
| Date of birth | September 20,1955 |
| Zodiac sign | Virgo |
| H index | 52 |
| Academic advisor | John L. Hennessy |
| Fields | Automated theorem proving |
| Formal methods | |
| Computer security | |
| Education | California Institute of Technology |
| Stanford University | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1253923 |
Lawrence Paulson Life story
Lawrence Charles Paulson FRS is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.
