Research Areas

Mathematical Logic and Foundations
Number Theory