Kevin Buzzard

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Kevin Buzzard
File:Kevin buzzard in 2007.jpg
Buzzard in 2007
Born (1968-09-21) 21 September 1968 (age 57)
Alma materTrinity College, Cambridge
AwardsWhitehead Prize (2002)
Senior Berwick Prize (2008)
Scientific career
FieldsMathematics
InstitutionsImperial College London
Harvard University
Thesis The Levels of Modular Representations  (1995)
Doctoral advisorRichard Taylor
Doctoral studentsDaniel Snaith
Toby Gee

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

[edit | edit source]

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

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  4. ^ Kevin Buzzard at the Mathematics Genealogy Project
  5. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  6. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  7. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  8. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  9. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  10. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  11. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]

Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).

Retrieved from "http://70.231.62.181/index.php?title=Kevin_Buzzard&oldid=8113992"