Ph.D. | Computer Science - Virginia Tech - 1989 |
Dissertation: Error Directed Execution Analysis: An Approach to Automatic Debugging | |
M.S. | Computer Science - Virginia Tech - 1989 |
Thesis: An Implementation of a Typed Functional Programming Language | |
B.S. | Mathematics - Carnegie Mellon University - 1976 |
Polytechnic of Central London (Now University of Westminster) - Mathematics - 1973-1974 |