David Jefferson

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