I am a programmer, painter, and writer. Previously founding engineer at Mathematics, Inc., a DARPA-funded AI lab building proof verification tools used by Fields Medal–winning mathematicians. I studied Applied Math (with some pure math) and Philosophy at Brown University.
Interests range from formal methods, PLT, and mechanism design to ancient philosophy, product design, and fine art. Feel free to reach out!