Vaughan Pratt's Home Page
Email:
Mailing Address:
2215 Old Page Mill Rd
Palo Alto, CA 94304
Fax:
650-494-2590
Research Interests:
Chu Spaces
Concurrency Modeling
CURRICULUM VITAE
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)
IEEE
: Institute of Electrical and Electronics Engineers (Senior Member)
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)
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
, 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
Concurrent ontology and the extensional conception of attribute
Lose A Stone