 He was the first to show the existence of topological "n"-manifolds with no differentiable structure (using the Kervaire invariant), and (with John Milnor) computed the number of exotic spheres in dimensions greater than four.He is also well known for fundamental contributions to high-dimensional knot theory.The solution of the Kervaire invariant problem was announced by Michael Hopkins in Edinburgh on 21 April 2009.