Ph.D. Univ. of Miichigan, 1995
Phone: (850) 474-2790
Office Location: Bldg 4, Room 438
I work in mathematical logic, in particular computability theory. Right now I'm studying the isomorphism classes of algebraic structures given by variants of the standard concept of computable function. I'm also doing some work on computable randomness and real numbers.