Kevin Buzzard

Last updated

Kevin Buzzard
Kevin buzzard in 2007.jpg
Buzzard in 2007
Born (1968-09-21) 21 September 1968 (age 55)
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]

Contents

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.[ citation needed ]

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. [2] He then received his Ph.D. under the supervision of Richard Taylor with a thesis titled The levels of modular representations in 1995. [2] [3]

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). [2]

He was awarded a Whitehead Prize by the London Mathematical Society in 2002 for "his distinguished work in number theory", [4] and the Senior Berwick Prize in 2008. [5]

In 2017, he launched an ongoing formalization project and blog involving the Lean theorem prover [6] 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. [7]

He was the PhD supervisor to musician Dan Snaith, [8] also known as Caribou, who received a PhD in mathematics from Imperial College London for his work on Overconvergent Siegel Modular Symbols . [9]

Related Research Articles

<span class="mw-page-title-main">Timothy Gowers</span> British mathematician

Sir William Timothy Gowers, is a British mathematician. He is Professeur titulaire of the Combinatorics chair at the Collège de France, and director of research at the University of Cambridge and Fellow of Trinity College, Cambridge. In 1998, he received the Fields Medal for research connecting the fields of functional analysis and combinatorics.

<span class="mw-page-title-main">Richard Taylor (mathematician)</span> British mathematician

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.

<span class="mw-page-title-main">Carl Ludwig Siegel</span> German mathematician (1896–1981)

Carl Ludwig Siegel was a German mathematician specialising in analytic number theory. He is known for, amongst other things, his contributions to the Thue–Siegel–Roth theorem in Diophantine approximation, Siegel's method, Siegel's lemma and the Siegel mass formula for quadratic forms. He has been named one of the most important mathematicians of the 20th century.

<span class="mw-page-title-main">Dan Snaith</span> Canadian musician (born 1978)

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.

<span class="mw-page-title-main">Imre Leader</span> British Othello player (born 1963)

Imre Bennett Leader is a British mathematician, a professor in DPMMS at the University of Cambridge working in the field of combinatorics. He is also known as an Othello player.

Athanassios Spyridon Fokas is a Greek mathematician, with degrees in Aeronautical Engineering and Medicine. Since 2002, he is Professor of Nonlinear Mathematical Science in the Department of Applied Mathematics and Theoretical Physics (DAMTP) at the University of Cambridge.

<span class="mw-page-title-main">Nina Snaith</span> British mathematician

Nina Claire Snaith is a British mathematician at the University of Bristol working in random matrix theory and quantum chaos.

Srinivasacharya Raghavan was an Indian mathematician who worked in number theory. He was born on 11 April 1934 in Thillaisthanam, Thanjavur, Tamil Nadu. After completing B.A. (Hons) from St. Joseph's College, Tiruchirapalli, he joined TIFR in 1954 as research student, and completed his Ph.D. in 1960 under the supervision of Professors K. Chandrasekharan and K.G. Ramanathan. He was affiliated with TIFR from 1956 until retirement in 1994, and served as Dean of Mathematics Faculty during 1986-89. He played an important role in the development of the TIFR Centre for Applicable Mathematics at Bangalore in its initial years. He also held visiting appointments at the Institute for Advanced Study, Princeton, USA, Sonderforschungsberiech at University of Goettingen, Germany, SPIC Mathematical Institute and taught at the Centre for Advanced Studies in Mathematics at the University of Mumbai for many years.

Alexei Nikolaievich Skorobogatov is a British-Russian mathematician and Professor in Pure Mathematics at Imperial College London specialising in algebraic geometry. His work has focused on rational points, the Hasse principle, the Manin obstruction, exponential sums, and error-correcting codes.

<span class="mw-page-title-main">Jacob Lurie</span> American mathematician

Jacob Alexander Lurie is an American mathematician who is a professor at the Institute for Advanced Study. Lurie is a 2014 MacArthur Fellow.

<span class="mw-page-title-main">Jonathan Pila</span> Australian mathematician

Jonathan Solomon Pila FRS is an Australian mathematician at the University of Oxford.

<span class="mw-page-title-main">Richard Thomas (mathematician)</span>

Richard Paul Winsley Thomas is a British mathematician working in several areas of geometry. He is a professor at Imperial College London. He studies moduli problems in algebraic geometry, and ‘mirror symmetry’—a phenomenon in pure mathematics predicted by string theory in theoretical physics.

Jonathan Peter Keating is a British mathematician. As of September 2019, he is the Sedleian Professor of Natural Philosophy at the University of Oxford, and from 2012 to 2019 was the Henry Overton Wills Professor of Mathematics at the University of Bristol, where he served as Dean of the Faculty of Science (2009–2013). He has made contributions to applied mathematics and mathematical physics, in particular to quantum chaos, random matrix theory and number theory.

<span class="mw-page-title-main">Antony Wassermann</span> British mathematician

Antony John Wassermann is a British mathematician working in operator algebras. He is known for his works on conformal field theory, the actions of compact groups on von Neumann algebras, and his proof of the Baum–Connes conjecture for connected reductive linear Lie groups.

Toby Stephen Gee is a British mathematician working in number theory and arithmetic aspects of the Langlands Program. He specialises in algebraic number theory.

<span class="mw-page-title-main">Jennifer Balakrishnan</span> American mathematician

Jennifer Shyamala Sayaka Balakrishnan is an American mathematician known for leading a team that solved the problem of the "cursed curve", a Diophantine equation that was known for being "famously difficult". More generally, Balakrishnan specializes in algorithmic number theory and arithmetic geometry. She is the Clare Boothe Luce Associate Professor at Boston University.

Vinayak Vatsal is a Canadian mathematician working in number theory and arithmetic geometry.

Lean is a proof assistant and programming language. It is based on the calculus of constructions with inductive types. It is an open-source project hosted on GitHub. It was principally developed 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.

Susan Goldstine is an American mathematician active in mathematics and fiber arts. She is a professor of mathematics at St. Mary's College of Maryland, and the Steven Muller Distinguished Professor in the Sciences at St. Mary's College.

Adrian Ioviță is a Romanian-Canadian mathematician, specializing in arithmetic algebraic geometry and p-adic cohomology theories.

References

  1. Buzzard, Kevin (8 May 2019). "What is the Xena project?". Xena Project. Retrieved 1 July 2022.
  2. 1 2 3 "Curriculum Vitae" (PDF). Kevin Buzzard. 8 November 2012. Retrieved 14 February 2024.
  3. Kevin Buzzard at the Mathematics Genealogy Project
  4. "Citation for Kevin Mark Buzzard". Archived from the original on 3 October 2009. Retrieved 2 February 2007.
  5. "LMS Prizewinners". Archived from the original on 4 August 2007.
  6. Buzzard, Kevin (5 September 2019). "The future of mathematics?" (PDF). Archived from the original (PDF) on 24 August 2021. Retrieved 1 July 2022.
  7. Kevin Buzzard (9 July 2022). "The rise of formalism in mathematics". YouTube.
  8. "Kevin Buzzard's research notes" . Retrieved 16 July 2022.
  9. Daniel Snaith. "Overconvergent Siegel Modular Symbols" (PDF). 2.imperial.acuk. Retrieved 16 July 2022.