Henry Corrigan-Gibbs, MIT