Co-wrote ClarisWorks, a long time ago in a galaxy far, far away
Ph.D. in theoretical computer science from MIT
Co-author of the book "Games, Puzzles, and Computation" with Erik Demaine