|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:award
|
Fellow of the Association for Computing Machinery (ACM)
|
|
gptkbp:birthYear
|
1944
|
|
gptkbp:contributedTo
|
gptkb:logic
dynamic logic
process algebra
|
|
gptkbp:doctoralAdvisor
|
gptkb:John_McCarthy
|
|
gptkbp:education
|
gptkb:Stanford_University
|
|
gptkbp:employer
|
gptkb:Stanford_University
|
|
gptkbp:field
|
gptkb:mathematics
computer science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Vaughan Pratt
|
|
gptkbp:knownFor
|
gptkb:Pratt_parser
Pratt certificate
work in concurrent computing
work in formal languages
work in logic
|
|
gptkbp:nationality
|
gptkb:American
gptkb:Australian
|
|
gptkbp:notablePublication
|
"Semantical Considerations on Floyd-Hoare Logic"
"Shellsort and Sorting Networks"
"Theorem Proving for Program Verification"
|
|
gptkbp:notableStudent
|
gptkb:Leslie_Lamport
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:mathematician
|
|
gptkbp:position
|
Professor Emeritus
|
|
gptkbp:website
|
https://theory.stanford.edu/~pratt/
|
|
gptkbp:bfsParent
|
gptkb:Knuth–Morris–Pratt_algorithm
gptkb:KMP
gptkb:Glynn_Winskel
|
|
gptkbp:bfsLayer
|
6
|