Él se fue para escribir los documentos fundacionales en topológica teoría K con Michael Atiyah, y colaborar con Armand Borel sobre la teoría de las clases características.