Vaughan Pratt was born on April 12,1944 and is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science.
14 Facts About Vaughan Pratt
2.
Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing.
3.
Vaughan Pratt then went to the United States, where he completed a Ph.
4.
Vaughan Pratt's thesis focused on analysis of the Shellsort sorting algorithm and sorting networks.
5.
Vaughan Pratt was an assistant professor at MIT and then associate professor.
6.
Vaughan Pratt went on sabbatical from MIT to Stanford, and was appointed a full professor at Stanford in 1981.
7.
Vaughan Pratt directed the SUN workstation project at Stanford from 1980 to 1982.
8.
Vaughan Pratt contributed in various ways to the founding and early operation of Sun Microsystems, acting in the role of consultant for its first year, then, taking a leave of absence from Stanford for the next two years, becoming director of research, and finally resuming his role as a consultant to Sun and returning to Stanford in 1985.
9.
Vaughan Pratt designed the Sun Microsystems logo, which features four interleaved copies of the word "sun"; it is an ambigram.
10.
Vaughan Pratt's parser is sometimes called a "Pratt parser" and has been used in later systems, such as MACSYMA.
11.
Vaughan Pratt implemented a TECO-based text editor named "DOC", which was later renamed to "ZED".
12.
Vaughan Pratt was credited in a 1995 Byte magazine article for proposing that the Pentium FDIV bug might have worse consequences than either Intel or IBM was predicting at the time.
13.
Vaughan Pratt is a fellow of the Association for Computing Machinery and is on the editorial board of three major mathematics journals.
14.
Vaughan Pratt was the founder, chairman, and CTO of TIQIT Computers, Inc for the ten years prior to when it closed its doors in 2010.