During World War II he worked on the Manhattan Project with J. Robert Oppenheimer and Edward Teller, developing the mathematical models behind the explosive lenses used in the implosion-type nuclear weapon.