Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Publications (10 Years): 2
University of Cambridge
Stanford University (PHD)
Affiliation History
University of Cambridge
Oct 01 1983
United Kingdom
Professor (eventually) :: Computer Laboratory
Education History
Stanford University
Sep 01 1977
- Feb 01 1982
United States
PHD :: Computer Science
California Institute of Technology
- Jun 10 1977
United States
BSC :: Mathematics
Publications
- Wenda Li, Lawrence C Paulson
- Lawrence C Paulson