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.