Xavid Pretzer, MIT CSAIL