Maybe I should've just asked the question I really wanted to ask: did MIT deny him tenure? If so, why? From what I've heard, Scott Aaronson is one of the rising stars of theoretical CS, so him moving on from MIT was very surprising to hear.