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 by appointment. You are welcome to stop by my office when I am on campus or send me an email to set up a specific time to meet.