Vaughan Pratt

Vaughan Pratt
Born
Vaughan Ronald Pratt

(1944-04-12) April 12, 1944 (age 80)
Melbourne, Australia
EducationStanford University (1972)
University of Sydney (1970)
Known forKnuth–Morris–Pratt algorithm
Pratt certificate
Pratt parser
Scientific career
FieldsComputer science
InstitutionsStanford University
MIT
Academic advisorsDonald Knuth
Doctoral students
Websiteboole.stanford.edu/pratt.html

Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces.