I concur. While I've never met him, he's almost certainly got that thousand-yard stare that pierces through to the heart of your crazy ideas (from "Let's spend several billion dollars on a company that does crappy sales software!" to "Why don't we put a Turing-equivalent cartoon paperclip on the bottom right hand corner of everyone's screen?"). This guy has Been Around the Fucking Block and deserves a shot at Microsoft CEO, he's in research and he's psychic about bullshit.
I would pay folding money to buy a ringside seat at the single combat that finally decides who gets to run Microsoft, because there's just no other way it's going to happen without causing a mass exodus of everyone who's still good working there. I would also put a significant side-bet on this guy, because he's not a biz guy or a sales guy or a marketroid, he's in research and knows how to fight dirty.
Good point. Perhaps he could take it on as a side-role for an hour after lunch. Shout a bit, do a dance, assault some furniture, you know the usual stuff, nothing too strenuous.
Imagine if Microsoft did install a crazy smart creative person to lead them. They can always keep business school twerps to do silly things like manage their existing lines of business. The CEO doesn't have to be a chair lunatic. They should be a CS lunatic.
Microsoft could be a thing to be feared again. Instead of innovating once every 10-15 years then milking their few products dry (and in 20 SKUs for each individual product), they can build out a 90% greenfield engineering business unit to tackle larger problems in the world. (Yes, that would require not including most current employees who have had their brains rotted and can't think in any other ways except Big Corp Big Process Patterns).