Vaughan Pratt | |
|---|---|
 | |
| Born | Vaughan Ronald Pratt April 12, 1944 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 | |
| Website | boole |
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.