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 linear logic and the Chu construction:
Vaughan Pratt, The second calculus of binary relations, Mathematical Foundations of Computer Science 1993. MFCS 1993, Lecture Notes in Computer Science 711, Springer (1993) [doi:10.1007/3-540-57182-5_9]
“Linear logic is seen in its best light as the
realization of the Curry-Howard isomorphism for linear algebra“
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 October 28, 2023 at 06:24:50. See the history of this page for a list of all contributions to it.