David Jefferson

Type Reduction and Program Verification Degree Type: Ph.D. in Computer Science
Advisor(s): William Wulf
Graduated: May 1980