Vaughan Pratt
Vaughan Pratt | |
---|---|
MIT | |
Academic advisors | Donald Knuth |
Website | boole |
Vaughan Pratt (born April 12, 1944) is a
Career
Raised in Australia and educated at
Pratt was an assistant professor at MIT (1972 to 1976) and then associate professor (1976 to 1982). In 1974, working in collaboration with Knuth and James H. Morris, Pratt completed and formalized work he had begun in 1970 as a graduate student at Berkeley; the coauthored result was the Knuth–Morris–Pratt pattern matching algorithm. In 1976, he developed the system of dynamic logic, a modal logic of structured behavior.
He went on sabbatical from MIT to Stanford (1980 to 1981), and was appointed a full professor at Stanford in 1981.
Pratt directed the SUN workstation project at Stanford from 1980 to 1982. He 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.
He also designed the Sun Microsystems logo,[2] which features four interleaved copies of the word "sun"; it is an ambigram.
Pratt became professor emeritus at Stanford in 2000.
Major contributions
A number of well-known algorithms bear Pratt's name.
Useful tool building
Pratt built some useful tools. In 1976, he wrote an
In 1999, Pratt built the world's smallest (at the time) web server—it was the size of a matchbox.[10][11]
Other contributions
Pratt was credited in a 1995
Today Pratt has a wide influence. In addition to his Stanford professorship, he holds membership in at least seven professional organizations. He is a fellow of the Association for Computing Machinery and is on the editorial board of three major mathematics journals. He was also the founder, chairman, and CTO of TIQIT Computers, Inc. for the ten years prior to when it closed its doors in 2010.
References
- ISBN 0-8240-4406-1
- ^ "Designers: Vaughan Pratt". Logobook. Archived from the original on 9 August 2020. Retrieved 7 August 2021.
- ^ Vaughan Pratt. Every prime has a succinct certificate. SIAM Journal on Computing, vol.4, pp.214–220. 1975. Citations, Full-text (requires paid login)
- ^ Donald Knuth, James H. Morris, Jr., and Vaughan Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(2):323–350. 1977. Citations
- .
- Proceedings of the ACM Symposium on Principles of Programming Languages. 1973. pp41-51.
- ^ George J. Carrette A simple Pratt-Parser for SIOD. 1990.
- ^ https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js jslint source code line 2224
- ^ Eric Fischer. Emacs and Other Editors. alt.folklore.computers. November 15, 2000.
- ^ BBC News.Surfing on a matchbox. 1999.
- ^ CNN News. Smallest Web server fits in shirt pocket. 1999.
- ^ "How to Bruise an Integer" Archived 2008-10-07 at the Wayback Machine, Byte, March 1995.
- Usenet: [email protected]. Retrieved 3 June 2006.
External links
- Vaughan Pratt at the Mathematics Genealogy Project
- Faculty home page at Stanford University
- Abstract page, with full-text downloads of many of Pratt's publications.
- Douglas Crockford walks through creating a Pratt parser in JavaScript.