I’m a member of Google Brain working on neural network theorem proving. Past lives include cofounding Eddy Systems, a startup building autocorrect for code, 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.