I'm interested in Mathematical Logic, Lambda Calculus and Proof Theory. I also like to solve problems of any kind in mathematics.