Ph.D., 1985, Harvard University
Formal methods, software specification and verification, parallel and distributed systems, object-oriented programming.
352-392-1528
E322 CSEPO Box 116120Gainesville, FL 32611