I am interested primarily in constructive mathematics, intuitionistic logic, proof theory and elementary number theory. Minor interests include graph theory and combinatorics.