Vaughan Pratt is Professor Emeritus of Computer Science at Stanford University. Prior to his retirement in 2000 his research focused on theory and technical applications of computers. After retirement he started Tiqit Computers to promote what are now called netbooks. His current interests are in universal algebra and category theory, signal processing, principles of written and spoken communication, thin film optics, and philosophy of mind. His most recent four Ph.D. students are in acoustic signal processing, including Parham Aarabi, named to MIT’s TR35 for 2005, and Keyvan Mohajer, CEO of Melodis Corp. He is responsible for 38 of Sophus Lie’s 990 descendants.
He has written extensively on Chu spaces, taking simple examples to show the potential of the idea, and encouraging the use of generalisations of it.
On quantum programming via quantum logic understood as linear type theory interpreted in symmetric monoidal categories:
On Chu spaces:
Vaughan Pratt, Chu Spaces (1999) [pdf, pdf]
Vaughan Pratt, Linear process algebra, in: Distributed Computing and Internet Technology ICDCIT 2011, Lecture Notes in Computer Science 6536, Springer (2011) [doi:10.1007/978-3-642-19056-8_6, pdf]
On the relation between toposes and abelian categories (cf. AT-categories):
Last revised on July 11, 2023 at 08:42:46. See the history of this page for a list of all contributions to it.