Vaughan Pratt

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.