I'm a mathematics professor. My research is in mathematical logic, closely related to computability theory.