Lawrence Paulson
Lawrence Paulson | |
|---|---|
Paulson in 2017 | |
| Born | Lawrence Charles Paulson 1955 (age 69–70) |
| Citizenship | US/UK |
| Alma mater | |
| Known for | |
| Spouses |
|
| Awards |
|
| Scientific career | |
| Fields | |
| Institutions | University of Cambridge Technical University of Munich |
| Thesis | A Compiler Generator for Semantic Grammars (1981) |
| Doctoral advisor | John L. Hennessy |
| Website | Official website |
Lawrence Charles Paulson is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.