He was an English mathematician. He worked in number theory at University of Cambridge. He was best known for his part in the Birch and Swinnerton-Dyer conjecture. This related algebraic properties of elliptic curves to special values of L-functions. Also, he worked on the Titan operating system.