He also built one of the coolest pieces of software I've ever seen (Robocraft). It was a Starcraft clone where users had to code up AIs for each of the units (and then those AIs battle each other). MIT uses it as the foundation for a programming competition that they run every January. I think it was done by him and one other person.