After spending a year 1946–1947 at the University of Illinois at Urbana–Champaign, Zariski became professor at Harvard University in 1947 where he remained until his retirement in 1969. In 1945, he fruitfully discussed foundational matters for algebraic geometry with André Weil. Weil's interest was in putting an abstract variety theory in place, to support the use of the Jacobian variety in his proof of the Riemann hypothesis for curves over finite fields, a direction rather oblique to Zariski's interests. The two sets of foundations weren't reconciled at that point.