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:
“A ward, and still in bonds, one day
I stole abroad;
It was high spring, and all the way
Primrosed and hung with shade;
Yet was it frost within,
And surly winds
Blasted my infant buds, and sin
Like clouds eclipsed my mind.”
—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)