Vaughan Pratt
From Wikipedia, the free encyclopedia
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.
Quick Facts Born, Education ...
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 |
Website | boole |
Close