I don't know how he didn't get tenure from MIT though
Edit: my bad, looks like he was an associate prof at MIT, which means he was indeed tenured before moving to Tech!
[0] https://thetech.com/2010/06/11/tenure-v130-n28