Emeritis professor of computer science at Stanford University
Homepage: http://boole.stanford.edu/pratt.html Wikipedia: http://en.wikipedia.org/wiki/Vaughan_Pratt
Author of ZED-DOC, an early text editor in written in TECO, author of many papers on computer science, and designer of the Sun Microsystems logo.