 He has also worked on computational number theory.Recently he proved a conjecture of Jean-Louis Colliot-Thélène which generalizes the Ax–Kochen theorem.In 2002 Denef was an Invited Speaker at the International Congresses of Mathematicians in Beijing.