Daniel Ziegler, MIT CSAIL