On G. I. Taylor 's advice and recommendation, Dyson moved to the United States in 1947 as a Commonwealth Fellow for postgraduate study with Hans Bethe at Cornell University (1947–1948). There he made the acquaintance of Richard Feynman. Dyson recognized the brilliance of Feynman and worked with him. He then moved to the Institute for Advanced Study (1948–1949), before returning to England (1949–51), where he was a research fellow at the University of Birmingham. In 1949, Dyson demonstrated the equivalence of two formulations of quantum electrodynamics (QED): Richard Feynman's diagrams and the operator method developed by Julian Schwinger and Shin'ichirō Tomonaga. He was the first person after their creator to appreciate the power of Feynman diagrams and his paper written in 1948 and published in 1949 was the first to make use of them. He said in that paper that Feynman diagrams were not just a computational tool but a physical theory and developed rules for the diagrams that completely solved the renormalization problem. Dyson's paper and his lectures presented Feynman's theories of QED in a form that other physicists could understand, facilitating the physics community's acceptance of Feynman's work. J. Robert Oppenheimer, in particular, was persuaded by Dyson that Feynman's new theory was as valid as Schwinger's and Tomonaga's. Also in 1949, in related work, Dyson invented the Dyson series. It was this paper that inspired John Ward to derive his celebrated Ward–Takahashi identity.