Desarrolló la noción de homotopía para las variedades algebraicas y formuló la de cohomología motívica.