Faculty & Research

personnel profile

Vaughan R. Pratt

 
Title:Professor Emeritus
Department(s):Computer Science, Electrical Engineering by courtesy
Location: Gates 478
Mail Code:9045
Phone:650.723.2943       
E-mail: pratt@cs.stanford.edu
URL: http://boole.stanford.edu/pratt.html
Administrator: Wendy Cardamone

Research Statement

Principal research areas: hardware, software, foundations of computation. Hardware: full-function handheld computing; audio-visual user interface devices. Software: specification and design of event-state-based systems; natural language support for user interfaces. Foundational interests: algebraic and categorical models of parallel computation and dynamic ontology. Outreach: articles on aspects of algebra and algebraic logic for the Stanford Encyclopedia of Philosophy and Wikipedia.

Degree Discipline Year School
PhD Computer Science 1972 Stanford University

Academic Honors & Awards

Fellow of the Association for Computing Machinery