Lewis Girod, MIT Computer Science and Artificial Intelligence Laboratory