Vaughan Pratt

Vaughan Pratt, born April 12, 1944, is an Australian Professor Emeritus at Stanford University and an early pioneer in computer science. His foundational contributions span areas such as search algorithms, sorting algorithms, and primality testing, notably the Knuth–Morris–Pratt algorithm and Pratt certificates. More recently, his research has delved into the formal modeling of concurrent systems and Chu spaces. Educated at the University of Sydney and Stanford University, Pratt held positions at MIT before becoming a professor at Stanford. He also played a role in the founding and early operations of Sun Microsystems, even designing its logo. Pratt's work has earned him recognition, including being a fellow of the Association for Computing Machinery.