Vaughan Pratt

Personal information

Thesis: Shellsort and Sorting Networks
Advisor: Donald Knuth
1972-1982: Assistant/Associate Professor, EECS, MIT
1982-present: Professor, CS, Stanford (emeritus since 2000)

Models of computation (geometric, algebraic, etc.)
Modern climate (parameter complexity of climate models)
Ancient geometry (Euclid Book I in equational form)
Marine vertebrate biology (tracking tuna)
Display technology (applications of thin film optics)


2 years 28 weeks