British mathematician
Kevin Mark Buzzard (born 21 September 1968) is a British mathematician and currently a professor of pure mathematics at Imperial College London. He specialises in arithmetic geometry and the Langlands program.[1]
Biography
While attending the Royal Grammar School, High Wycombe he competed in the International Mathematical Olympiad, where he won a bronze medal in 1986 and a gold medal with a perfect score in 1987.[2]
He obtained a B.A. degree in Mathematics at Trinity College, Cambridge, where he was Senior Wrangler in 1990, and a C.A.S.M. in 1991.[3] He then received his Ph.D. under the supervision of Richard Taylor with a thesis titled The levels of modular representations in 1995.[3][4]
He took a lectureship at Imperial College London in 1998, a readership in 2002, and was appointed to a professorship in 2004. From October to December 2002 he held a visiting professorship at Harvard University, having previously worked at the Institute for Advanced Study, Princeton (1995), the University of California Berkeley (1996-7), and the Institute Henri Poincaré in Paris (2000).[3]
He was awarded a Whitehead Prize by the London Mathematical Society in 2002 for "his distinguished work in number theory",[5] and the Senior Berwick Prize in 2008.[6]
In 2017, he launched an ongoing formalization project and blog involving the Lean theorem prover[7] and has since promoted the use of computer proof assistants in future mathematics research. He gave a plenary lecture at the International Congress of Mathematicians in 2022 on the topic.[8]
He was the PhD supervisor to musician Dan Snaith,[9] also known as Caribou, who received a PhD in mathematics from Imperial College London for his work on Overconvergent Siegel Modular Symbols.[10]
In 2024, Buzzard and collaborators were handed a five-year ESPRC grant to begin formalising Fermat's Last Theorem in Lean.[11]
References
External links
|
---|
International | |
---|
National | |
---|
Academics | |
---|
Other | |
---|