User:Vaughan Pratt

Education
 * 1956-1961: Knox Grammar School. Dux, Sports-and-Studies Prize.
 * 1961: NSW Leaving Certificate (~17,000 candidates): 35th overall, 8th in Physics, 90th in Maths.
 * 1962-1966: U. Sydney, B.Sc. (Hons) in Pure Mathematics (1965) and Physics (1966)
 * 1967-1969: U. Sydney, M.Sc. in Computer Science. Thesis: Translation of English into Logical Expressions. Advisor: J.B. Hext
 * 1969-1970: U.C. Berkeley. 1st year of Ph.D. program in Computer Science. Worked with Stephen Cook and Richard Karp.
 * 1970-1971: Stanford University. Ph.D. in Computer Science. Thesis: Shellsort and Sorting Networks.  Advisor: Donald Knuth.

Work experience

Summer and one-year jobs
 * 1963-4, 1964-5: Chemistry lab, Lysaght Bros., Sydney. Assessment of alternative pickling inhibitors.
 * 1965-6: IBM, Sydney. Developed inventory management software.
 * 1967: Professional Staff, Philosophy Dept., U. NSW, under Charles Hamblin. Implementation of Tarski's decision method for real closed fields.
 * 1968: Programmer, Sydney University, under John Cannon. Implemented Cayley, implemented the Todd-Coxeter algorithm for group coset enumeration in Cayley.
 * 1972: Visiting faculty, IBM, Yorktown Heights. Analysis of algorithms.

University positions
 * 1972-1982: Assistant then associate professor of electrical engineering and computer science, MIT (on leave 1980-1).
 * 1980-1: Sabbatical at Stanford University. Joined Sun workstation group, led it after Forest Baskett's departure.
 * 1981-2000: Professor, Computer Science, Stanford University.
 * 2000-now: Professor Emeritus, Stanford University.
 * 2010-now: Studied climate change, presented posters and a talk at five AGU Fall Meetings
 * 2015-now: Joined Barbara Block's lab at Stanford Hopkins Marine Station to analyze tag data and model population of bluefin tuna.

Industry positions
 * 1982-1983: Cofounder and consultant, Sun Microsytems. Set up Sun's Unix system, Unix user id 11.
 * 1983-1985: Leave of absence from Stanford to work full time at Sun Microsystems. Developed and deployed Pixrect, directed Research.
 * 1985-1987: Consultant, Sun Microsystems. Developed graphics algorithms.  Worked on rendering conic splines for text.

Entrepreneurial
 * 1973-5: President, Research & Consulting Inc. Consortium of MIT faculty to organize consulting.
 * 1987-9: Founded Triangle Concepts, Inc. to develop business organization software.
 * 2000-2010: Founded Tiqit Computers to build handheld x86 computers. Tiqit built four models during 2000-2005, the Matchbox PC (sold ~100), Zorro (prototype), the Tiqit 83 (exhibited at CeBIT'2002), and the Tiqit T2 (2005-6) to DEVGRU specs (sold 36).