I am joining Axiom Math as a Member of Technical Staff. Previously, I was a founding engineer at Mathematics, Inc. I studied Applied Math and Philosophy at Brown University.
Interests range from formal methods and PLT to ancient philosophy, product design, and fine art.