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