Biography
Co-founder of Dust, a multiplayer AI platform for
human-agent collaboration. Previously co-founded Totems in 2011, a data analytics company acquired by Stripe in 2014, then joined OpenAI as a research engineer (2019-2022) co-authoring papers with Ilya Sutskever on formal mathematics and automated theorem proving.
