Professor, with interests in Theoretical Computer Science, Computability, Logic, and Complexity Theory.