Prof. Kevin Buzzard

BIOGRAPHY

Kevin Buzzard is a Professor of Pure Mathematics at Imperial College London, where he specialises in algebraic number theory. Recently, he has become interested in formal proof verification, specifically through the aid of computers. He is helping to build a database of modern mathematical theorems and definitions, and is passionate about teaching undergraduates how to use this software. In 2002, Professor Buzzard was awarded the Whitehead Prize by the London Mathematical Society for his working in number theory. In 2008, he was awarded the Senior Berwick Prize, which recognises outstanding mathematical research.