Kevin Buzzard

from Wikipedia, the free encyclopedia
K. Buzzard, 2007

Kevin Mark Buzzard (born September 21, 1968 ) is a British mathematician who deals with number theory and modular forms . He is Professor of Pure Mathematics at Imperial College London .

Buzzard studied at Cambridge University (Bachelor 1990, Master 1994), where he was Senior Wrangler in the Tripos exams in 1990 and received his PhD in 1995 with Richard Taylor (The levels of modular representations). He was a post-doc at the Institute for Advanced Study in 1995 and at the University of California, Berkeley in 1996/97 . From 1998 he was a lecturer , from 2002 reader and from 2004 professor at Imperial College in London . In 2002 he was at the Institut Henri Poincaré in Paris and visiting professor at Harvard .

In the laudation for the Whitehead Prize, his work on the full description of the possible stages of modular mod l Galois representations and his work on p-adic modular forms are highlighted. Among other things, he simplified the theory of Robert F. Coleman and Barry Mazur about families of p-adic modular forms (and generalized their construction of Eigencurves in 2007 to Eigenvarieties ) and gave a criterion from Galois theory for when a p-adic modular form becomes analytically a classical one Modular form can be continued.

In 1993 he received the Smith Prize from Cambridge University. In 2002 he received the Whitehead Prize from the London Mathematical Society and in 2008 the Senior Berwick Prize .

In addition to his background in number theory, he developed an interest in formal, machine-aided verification of mathematical proofs . He initiated and leads the Xena project , which among other things is supposed to help undergraduate students to learn how to use the Lean Evidence Assistant. Buzzard has given various lectures on related topics, such as homotopy type theory as a foundation for mathematics at the Online Worldwide Seminar on Logic and Semantics, or machine-based formal proofs as a possible future of mathematics at Microsoft Research . Together with Johan Commelin and Patrick Massot, Buzzard succeeded in formalizing the mathematical concept of perfectoid space , which was introduced by Peter Scholze , in Lean. Since perfectoid spaces are complex objects that were only introduced in 2012 and made a significant contribution to Scholz's awarding of the Fields Medal, this is intended to demonstrate that not only simple mathematics can be formalized with available technologies.

Fonts

  • with J. Nekovar, David Burns (eds.): L-Functions and Galois-Representations. London Mathematical Society Lecturenotes, 2007.
  • Eigenvarieties , in: David Burns, Kevin Buzzard, Jan Nekovář (Eds.), L-functions and Galois representations, London Math. Soc. Lecture Note Ser., 320, Cambridge University Press, 2007, pp. 59-120

Web links

Individual evidence

  1. ↑ Home - Professor Kevin Buzzard. Retrieved August 29, 2020 .
  2. ↑ Kevin Buzzard: CV Kevin Buzzard. Retrieved on August 29, 2020 .
  3. ↑ a b LMS Prizes 2001. October 3, 2009, accessed August 29, 2020 .
  4. ^ Prizes and Awards. Retrieved August 29, 2020 (UK English).
  5. ^ LMS Prizes. August 4, 2007, accessed August 29, 2020 .
  6. ↑ Home - Professor Kevin Buzzard. Retrieved August 29, 2020 .
  7. ↑ What is the Xena project? In: Xena. May 8, 2019, accessed on August 29, 2020 .
  8. ↑ OWLS. Retrieved August 29, 2020 .
  9. ^ The Future of Mathematics? In: Microsoft Research. Retrieved August 29, 2020 (American English).
  10. ↑ Peter Scholze: Perfectoid Spaces . In: Publications mathématiques de l'IHÉS . tape 116 , no. 1 , November 2012, ISSN  0073-8301 , p. 245-313 , doi : 10.1007 / s10240-012-0042-x ( springer.com [accessed August 29, 2020]).
  11. ↑ Kevin Buzzard, Johan Commelin, Patrick Massot: Formalizing perfectoid spaces . In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs . ACM, New Orleans LA USA 2020, ISBN 978-1-4503-7097-4 , pp. 299-312 , doi : 10.1145 / 3372885.3373830 ( acm.org [accessed August 29, 2020]).
personal data
SURNAME Buzzard, Kevin
ALTERNATIVE NAMES Buzzard, Kevin Mark (full name)
BRIEF DESCRIPTION British mathematician
DATE OF BIRTH September 21, 1968