My main interests are mathematical logic and foundations of mathematics (especially, proof theory and constructive mathematics). I also enjoy studying algebra, number theory, and algebraic topology.