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:00-12:00, Friday 9:00-10:00 and by appointment.