Jason Dorfman, CSAIL/MIT