Education
PhD, Mathematics, University of Chicago, 1980 SM, Mathematics, University of Chicago, 1976 BA, Mathematics, Reed College, 1974
Research Interests
Computability Theory, Theoretical Computer Science