Research: I work in mathematical logic, specifically recursion theory and reverse mathematics often applied in algebraic or combinatorial settings. This semester, my office hours are Monday 11:30-1:00, Tuesday 8:30-10:00 and by appointment.