Date of Birth: 
Place of Birth: Melbourne, Victoria, Australia
About Vaughan Pratt
- Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science.
- Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing.
- More recently, his research has focused on formal modeling of concurrent systems and Chu spaces.
- A pattern of applying models from diverse areas of mathematics such as geometry, linear algebra, abstract algebra, and especially mathematical logic to computer science pervades his work.
Read more at Wikipedia