Michael H. Freedman

From Microsoft:

"[Michael Freedman is] a Fields Medal-winning mathematician whose accomplishments included a proof of the 4-dimensional Poincare conjecture, the discovery (with Donaldson and Kirby) of exotic smooth structures on Euclidian 4-space, applications of minimal surfaces to topology, and estimates for the stored energy in magnetic fields… His work since joining Microsoft has been primarily on the interface of quantum computation, solid state physics, and quantum topology."

"Michael Freedman," Microsoft

Fields Medalist, 1986