Vaughan Pratt's Home Page


Email:

Mailing Address:
2215 Old Page Mill Rd
Palo Alto, CA 94304

Fax:
650-494-2590
Research Interests:
  • Handheld PCs
  • Chu Spaces
  • Concurrency Modeling
    • Publications:
  • HTML, PDF
  • Abstracts of Concurrency group publications (HTML)
  • Chu Space Web Site (HTML)

    • Stanford Affiliations

  • CSD: Computer Science Department
  • EE: Department of Electrical Engineering (By courtesy)
  • AI Lab
  • Theory group
  • CSL: Computer Systems Laboratory
  • CIS: Center for Integrated Systems
  • CSLI: Center for Studies in Language and Information (member Advisory Committee)

    • Other Affiliations

  • ACM: Association for Computing Machinery (Fellow)
  • ACS: Applied Categorical Structures (Editorial Board)
  • IGPL: Interest Group in Pure and Applied Logics (Editorial Board)
  • ASL Association for Symbolic Logic (Member)
  • AMS American Mathematical Society (Member)
  • MAA Mathematical Association of America (Member)
  • Erdos Number: 2
  • Linux Counter Project Number: 119
  • Unix User ID: 11 (at Stanford CSD (even in 2007!), Sun Microsystems 1982-87, Tiqit Computers, and home)

    • M.Sc. Thesis: Translation of English into Logical Expressions, Sydney University, May 1970. Advisor: Jan B. Hext
    Ph.D. Thesis: Shellsort and Sorting Networks, Stanford University, January 1972. Advisor: Donald E. Knuth
    Former Ph.D. Students:
  • David Harel, MIT, 1978
  • Bob Streett, MIT, 1981 (coadvisor: Albert Meyer)
  • Jay Gischer, Stanford, 1984
  • Ross Casley, Stanford, 1991
  • Roger Crew, Stanford, 1991
  • Orli Waarts, Stanford, 1992
  • Gideon Avrahami, Stanford, 1994
  • David Magerman, Stanford, 1994 (coadvisor: Fred Jelinek)
  • Vineet Gupta, Stanford, 1994
  • Anna Patterson, U. Illinois, 1997 (coadvisor: Gul Aga)
  • Paul Fahn, Stanford, 1999 (coadvisor: Tom Cover)
  • Parham Aarabi, Stanford, 2001
  • Ramon Prieto, Stanford, 2003
  • Keyvan Mohajer, Stanford, 2006
    • Miscellaneous Thoughts