Certainly, since Ballmer was about as far from a coder as possible and I always wondered why his name was chosen. This makes sense finally.
He's certainly more accomplished even before joining Microsoft than most of the HN pundits that mock him.
EDIT: forgot the word 'math'.