I’m a member of the AI safety team at OpenAI. AI will probably be wonderful; let’s make that even more probable.
Past lives include neural network theorem proving at Google Brain, cofounding Eddy Systems to autocorrect code as you type, and computational physics and geometry at Otherlab, D. E. Shaw Research, Pixar, and Weta Digital. I have screen credits on Ratatouille, WALL•E, Up, and Tintin.
Ph.D. in Computer Science, 2007
Stanford University
B.Sc. in Mathematics and Computer Science, 2003
California Institute of Technology
An open source library for large scale machine learning.
Autocorrect for Java.
A utility library of arrays, vectors, matrices, and other mathematical code together with a fast, lightweight python binding layer.
Source for the strong solution of pentago, including massively parallel retrograde analysis, approximate forward search, and optimized midgame analysis for website use.
Tree search code for kalah, capable of solving up to 5 stones per side.
Investigations into simplified holdem poker.
Various fractal scripts, including partial code for Developing fractal curves.