I am currently an engineer at Draper Labs in Cambridge. My interests include software verification and language design, logic and computability, proof theory and other things.
7 When are two proofs “the same”? May 2 '15
3 Every infinite set has an infinite countable subset? Jan 30 '15
2 A Formal and Precise treatment of Simplification? Mar 26 '12
1 Is there some sort of trick to show naturality? Nov 12 '15