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)
“When the Church of Jesus
Shuts its outer door,
Lest the roar of traffic
Drown the voice of prayer:
May our prayers, Lord, make us
Ten times more aware
That the world we banish
Is our Christian care.”
—Frederick Pratt Green (b. 1903)