Kevin Buzzard
Template:Short description Template:Use dmy dates Template:Use British English Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
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 EPSRC grant to begin formalising Fermat's Last Theorem in Lean.[11]
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ a b c Script error: No such module "citation/CS1".
- ↑ Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
- Pages with script errors
- 1968 births
- 20th-century British mathematicians
- 21st-century British mathematicians
- Institute for Advanced Study visiting scholars
- Living people
- British number theorists
- Harvard University staff
- Alumni of Trinity College, Cambridge
- Academics of Imperial College London
- People educated at the Royal Grammar School, High Wycombe
- Whitehead Prize winners
- International Mathematical Olympiad participants