Vaughan Pratt

Digital Library

ACM Fellows

USA - 1997

citation

An outstanding computer scientist, with unusually diverse, original and deep accomplishments, like showing primes in NP, inventing dynamic logic, helping start SUN, and solidifying concurrency.