Nadella had it easy when he took over. Stock soared before he did anything. The only improvements seemed to be made by others using the CEO change to try & push a few better agendas.
Acquired podcast had Ballmer on this past year. Gives interesting take of how he was never a true CEO, always had Gates still running things.
I imagine Microsoft probably has about 5-10 CEOs running it right now. Nadella is just the face. Amy, Brad & Kathleen for sure. Would not be surprised if Bill still has a lot of say. Guthrie probably doesn't have enough say.