Previous Founding Engineer at Mathematics, Inc., a DARPA-funded AI lab building proof verification tools used by Fields Medal–winning mathematicians. Math and Philosophy at Brown University and an award-winning fine artist.
Interests range from formal methods, type theory, and mechanism design to infrastructure, Aristotle, and product design.