Vaughan Pratt's Home Page
On Tuesday December 4 at the AGU Fall Meeting in San Francisco I
presented this
poster. It can also be seen at
the
AGU website by clicking on the View ePoster tab.
An Excel spreadsheet giving an even better fit to global climate can be
seen here.
Current research interests:
Recent presentations:
Multidecadal climate to within a millikelvin
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
Dec. 8, 2011, Global Environmental Change poster session, American
Geophysical Union Fall meeting 2011, San Francisco.
Structure from sorts, properties, and composition: A minimalist approach
to topoalgebraic structure
July 23, 2011, International Conference on Category Theory, Vancouver.
The Logic of Global Warming
Feb. 15, 2011, TATA IFR, Mumbai, IN
June 23, 2011, Australian National University, Canberra, AU.
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.
Stanford Affiliations
Other Affiliations
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:
Miscellaneous Thoughts
