Gregory Nelson, PhD
1977 Hertz Fellow
Graduate Studies
Stanford University
Computer Science
Techniques for Program Verification