Frans Kaashoek, MIT