математик, член Лондонского королевского общества (с1973). Окончил Лондонский верситетский колледж (1961), слушал лекции в Тринити-колледже Кембриджского университета. С 1964 профессор Кембриджского университета. Основные работы относятся к алгебре. Нашел алгоритм для определения всех внутренних точек произвольной алгебраической кривой первого рода. Получил (1966) важные результаты в теории линейных форм в логарифмах алгебраических чисел, в основе которой лежала решенная им седьмая проблема Гильберта. Эти результаты нашли применение в различных областях математики, в частности в некоторых задачах теории чисел. Исследовал также некоторые аспекты диофантовой теории — экспоненциальные функции, классификацию трансцендентных чисел.

Премия им. Дж. Филдса Международного математического союза (1970).