He was an early pioneer in the field of computer science and is now a Professor Emeritus at Stanford University. Pratt has contributed to foundational topics like search algorithms, sorting algorithms, and primality testing since 1969. His latest work has concentrated on the formal modeling of concurrent systems and Chu spaces.
Vaughan Pratt
•
•
3 min read
