He is a logician, mathematician, computer scientist, researcher, author, lecturer, and public speaker who specializes in logical calculi, proof theory, mathematical logic, complexity theory, automata, combinatorics, and philosophy of mathematics.