Education
Doctor of Philosophy, California Institute Technology, 1989.
educator mathematician philosopher
Doctor of Philosophy, California Institute Technology, 1989.
Research fellow, Deutscher Akademischer Austausch Dienst, Federal Republic Germany, 1986-1987; research fellow, U. Heidelberg, Baden., Federal Republic Germany, 1987; Earle C. Anthony fellow, California Institute Technology, Pasedena, 1988-1989; assistant professor mathematics, University of Michigan, Ann Arbor, since 1989.
Fellow Deutsche Forschungsgemeinschaft. Member American Mathematics Society, Association for Symbolic Logic.