Es conocido por sus importantísimos trabajos sobre las conjeturas de Weil, que finalmente lograría probar en 1973.