Vaughan Pratt

Vaughan Pratt
Born	Vaughan Ronald Pratt (1944-04-12) April 12, 1944 (age 80) Melbourne, Australia
Education	Stanford University (1972) University of Sydney (1970)
Known for	Knuth–Morris–Pratt algorithm Pratt certificate Pratt parser
Scientific career
Fields	Computer science
Institutions	Stanford University MIT
Academic advisors	Donald Knuth
Doctoral students	Parham Aarabi David Harel David Magerman Anna Patterson
Website	boole.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.