Vaughan Pratt
Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was one of the earliest pioneers in the field of computer science. Publishing 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 about Vaughan Pratt: Career, Major Contributions
Famous quotes containing the words vaughan and/or pratt:
“There growes the flowre of peace,
The Rose that cannot wither,”
—Henry Vaughan (1622–1695)
“So motionless, she seemed stone dead—just seemed:
She was too old for death, too old for life,
For as if jealous of all living forms
She had lain there before bivalves began
To catacomb their shells on western mountains.”
—Edwin John Pratt (1882–1964)