Theoretical computer science stuff has little overlap with shipping a quality product and a great customer experience. Microsofts success has always been a combination of "good enough" and cunning yet cut throat business practice.

In the age of the web though, the market will now continue to out step Ballmer and whatever Harvard theoretical math he could throw at his developers developers developers developers.