7/87 − present: Professor, University of Kentucky, Lexington
9/86 − 6/87: Visiting Professor, University of Kentucky, Lexington
9/83 − 8/86: Associate Chair, Computer Sciences Department, University of Wisconsin, Madison
9/86 − 6/87: Professor, University of Wisconsin, Madison
7/82 − 9/86: Associate Professor, University of Wisconsin, Madison
9/76 − 7/82: Assistant Professor, University of Wisconsin, Madison
PhD Stanford University, Stanford, CA. Computer Science Department. Dissertation title: Constructing and Debugging Manipulator Programs, September 1976.
MAT Secondary Mathematics Education, The University of Chicago, September 1972.
AB Mathematics, The University of Chicago, June 1972.
Operating Systems
Distributed Algorithms
Programming Languages