Vaughan Pratt's Home Page

Current research interests:

  • Foundations of Geometry. (Euclid Book I via algebra instead of logic, cf. Pasch-Hilbert-Tarski-Birkhoff.)
  • Global warming. (Unique analysis of modern climate change.)
  • Autonomous Vehicles. (Harmonic Predictive Control as a drop-in replacement for PID control.)
  • Speech Recognition. (The Speech Manifold as a geometric object.)
  • Foundations of Concurrency. (Chu Spaces over 4.)


    An Ekman Transport Mechanism for the Atlantic Multidecadal Oscillation (poster)
    Dec. 16, 2014, Global Environmental Change poster session, American Geophysical Union Fall meeting 2014, San Francisco.

    Reconciling multidecadal land-sea global temperature with rising CO2
    Dec. 13, 2013, American Geophysical Union Fall Meeting 2013, San Francisco.

  • Slides
  • Oral presentation (need to sign up with AGU for a free account)
  • Multidecadal climate to within a millikelvin (poster)
    Dec. 4, 2012, Global Environmental Change poster session, American Geophysical Union Fall meeting 2012, San Francisco.

    A three-component analytic model of long-term climate change (poster)
    Dec. 8, 2011, Global Environmental Change poster session, American Geophysical Union Fall meeting 2011, San Francisco.

    The Logic of Global Warming
    Feb. 15, 2011, TATA IFR, Mumbai, IN
    June 23, 2011, Australian National University, Canberra, AU.


    A homogeneous algebraic definition of Euclidean space
    Aug. 5, 2013, BLAST 2013, Orange, CA

    Weiner's Repetition Finder
    Jul. 18, 2013, Combinatorial Pattern Matching, Bad Herrenalb, Germany

    Geodesic spaces: Euclid's five postulates as an equational theory, starting with the second
    May 25, 2012, The Constructive in Logic and Applications: A conference in honour of the 60th Birthday of Sergei Artemov. Video here.

    Structure from sorts, properties, and composition: A minimalist approach to topoalgebraic structure
    July 23, 2011, International Conference on Category Theory, Vancouver.

    Euclidean and non-Euclidean algebra
    Feb. 15, 2011, TATA IFR, Mumbai, IN
    Jun. 14, 2011, Maths Colloquium, Macquarie University, Sydney AU

    Linear Process Algebra
    Feb. 12, 2011, Invited talk, International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India.
    Jun. 16, 2011, Colloquium, NICTA, Sydney AU
    Jun. 17, 2011, Seminar, School of Info. Tech., U. of Sydney, AU
    Oct. 11, 2011, Math & CS Colloquium, Santa Clara University, CA.

    geodesic spaces : momentum  ::  groups : symmetry
    June 6, 2010, BLAST 2010, Boulder CO.

    Categories, sorts, and properties as a basis for topological algebra and coalgebra
    June 2, 2010, BLAST 2010, Boulder CO.


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

    Publications: (complete list in vita)

  • HTML,
  • 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
  • CSLI: Center for Studies in Language and Information

  • Other Affiliations

  • ACM: Association for Computing Machinery (Fellow)
  • IEEE: Institute of Electrical and Electronics Engineers (Senior Member)
  • AGU: American Geophysical Union (Life Member)
  • 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)
  • AMS American Meteorological Society (Member)
  • SID Society for Information Display (Member)
  • Erdos Number: 2
  • Linux Counter Project Number: 119
  • Unix User ID: 11 (at Stanford CSD (1983-present), Sun Microsystems 1982-87, Tiqit Computers, and home)

  • M.Sc. Thesis: Translation of English into Logical Expressions, Sydney University, August 1969. Advisor: Jan B. Hext
    Abstract: A computer program to solve Lewis Carroll's syllogisms is considered. A logical decision method is evolved for dealing with syllogisms expressed as conjunctive normal form (CNF) propositions. For the translation of English into CNF, a theory of translation is presented. A computer program is exhibited which explicitly embodies each feature of the theory, and produces CNF translations of Carroll's syllogisms. It is claimed that the translation theory is the most significant result of the research. A translation approach to phrase-structure grammars enables their practical value to be studied more closely. It is shown that the position of phrase-structure grammars is stronger than that of transformational grammars in a utilitarian theory, as distinct from an explanatory theory.

    Ph.D. Thesis: Shellsort and Sorting Networks, Stanford University, December 1971.
    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