Richard Sites, PhD
1972 Hertz Fellow
Graduate Studies
Stanford University
Computer Science
Proving That Computer Programs Terminate Cleanly
Awards
2008, Member, National Academy of Engineering