Kevin Buzzard | |
---|---|
Born | 21 September 1968 |
Alma mater | Trinity College, Cambridge |
Awards | Whitehead Prize (2002) Senior Berwick Prize (2008) |
Scientific career | |
Fields | Mathematics |
Institutions | Imperial College London Harvard University |
Thesis | The Levels of Modular Representations (1995) |
Doctoral advisor | Richard Taylor |
Doctoral students | Daniel 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]
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]
Sir Andrew John Wiles is an English mathematician and a Royal Society Research Professor at the University of Oxford, specialising in number theory. He is best known for proving Fermat's Last Theorem, for which he was awarded the 2016 Abel Prize and the 2017 Copley Medal and for which he was appointed a Knight Commander of the Order of the British Empire in 2000. In 2018, Wiles was appointed the first Regius Professor of Mathematics at Oxford. Wiles is also a 1997 MacArthur Fellow.
The modularity theorem states that elliptic curves over the field of rational numbers are related to modular forms in a particular way. Andrew Wiles and Richard Taylor proved the modularity theorem for semistable elliptic curves, which was enough to imply Fermat's Last Theorem. Later, a series of papers by Wiles's former students Brian Conrad, Fred Diamond and Richard Taylor, culminating in a joint paper with Christophe Breuil, extended Wiles's techniques to prove the full modularity theorem in 2001.
Richard Dagobert Brauer was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular representation theory.
Richard Lawrence Taylor is a British mathematician working in the field of number theory. He is currently the Barbara Kimball Browning Professor in Humanities and Sciences at Stanford University.
Daniel Victor Snaith is a Canadian composer, musician, and recording artist. He has released 10 studio albums since 2000 and has recorded and performed under the stage names Caribou, Manitoba, and Daphni. His Caribou album Andorra (2008) was awarded the 2008 Polaris Music Prize, his Caribou album Swim (2010) was a shortlisted nominee for the 2010 Polaris Music Prize and was named the Best Album of 2010 by Resident Advisor. His follow-up Our Love (2014) was also shortlisted for the 2015 Polaris Music Prize and was nominated for the Grammy Award for Best Dance/Electronic Album.
Gerhard Frey is a German mathematician, known for his work in number theory. Following an original idea of Hellegouarch, he developed the notion of Frey–Hellegouarch curves, a construction of an elliptic curve from a purported solution to the Fermat equation, that is central to Wiles's proof of Fermat's Last Theorem.
Joseph Hillel Silverman is a professor of mathematics at Brown University working in arithmetic geometry, arithmetic dynamics, and cryptography.
Chandrashekhar B. Khare, is a professor of mathematics at the University of California Los Angeles. In 2005, he made a major advance in the field of Galois representations and number theory by proving the level 1 Serre conjecture, and later a proof of the full conjecture with Jean-Pierre Wintenberger. He has been on the Mathematical Sciences jury for the Infosys Prize from 2015, serving as Jury Chair from 2020.
In number theory, Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have infinitely many solutions.
Wiles's proof of Fermat's Last Theorem is a proof by British mathematician Sir Andrew Wiles of a special case of the modularity theorem for elliptic curves. Together with Ribet's theorem, it provides a proof for Fermat's Last Theorem. Both Fermat's Last Theorem and the modularity theorem were believed to be impossible to prove using previous knowledge by almost all living mathematicians at the time.
Sir Martin Hairer is an Austrian-British mathematician working in the field of stochastic analysis, in particular stochastic partial differential equations. He is Professor of Mathematics at EPFL and at Imperial College London. He previously held appointments at the University of Warwick and the Courant Institute of New York University. In 2014 he was awarded the Fields Medal, one of the highest honours a mathematician can achieve. In 2020 he won the 2021 Breakthrough Prize in Mathematics.
Elon Lindenstrauss is an Israeli mathematician, and a winner of the 2010 Fields Medal.
Kenneth Alan Ribet is an American mathematician working in algebraic number theory and algebraic geometry. He is known for the Herbrand–Ribet theorem and Ribet's theorem, which were key ingredients in the proof of Fermat's Last Theorem, as well as for his service as President of the American Mathematical Society from 2017 to 2019. He is currently a professor of mathematics at the University of California, Berkeley.
Jerrold Bates Tunnell was a mathematician known for his work in number theory. He was an associate professor of mathematics at Rutgers University.
Vincent Pilloni is a French mathematician, specializing in arithmetic geometry and the Langlands program.
Toby Stephen Gee is a British mathematician working in number theory and arithmetic aspects of the Langlands Program. He specialises in algebraic number theory.
Vinayak Vatsal is a Canadian mathematician working in number theory and arithmetic geometry.
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types. It is an open-source project hosted on GitHub. It was developed primarily by Leonardo de Moura while employed by Microsoft Research and now Amazon Web Services, and has had significant contributions from other coauthors and collaborators during its history. Development is currently supported by the non-profit Lean Focused Research Organization (FRO).
Adrian Ioviță is a Romanian-Canadian mathematician, specializing in arithmetic algebraic geometry and p-adic cohomology theories.
Sebastiaan Johan Edixhoven was a Dutch mathematician who worked in arithmetic geometry. He was a professor at University of Rennes 1 and Leiden University.