David Lazar, MIT CSAIL