该猜想的证明使用了群的模表示论中的技巧，后来他将其使用到群的上同调以及代数K-理论中。他还证明了复配边，证明了其形式群公理本质上是普适的。在相关工作中，他还给出了关于仿射空间上代数向量丛的平凡性之塞尔猜想的一个证明。他（与丹尼斯·苏利文）也是有理同伦论的创立者。