Maxwell Krohn, MIT CSAIL