It looks like you're new here. If you want to get involved, click one of these buttons!
Some of my core interests lie in constructive logic, type theory, typed functional programming, categorical logic, and topology. I also maintain an interest in the philosophy of mathematics as well as in the philosophy of science. I do enjoy writing code in Standard ML and writing (constructive) proofs in Coq. I also have more than a passing interest in the history and development of (mathematical) intuitionism.
I love to hike, meditate, and run. And, I practice Buddhism.