Kevin Mark Buzzard (* 21. September 1968) ist ein britischer Mathematiker, der sich mit Zahlentheorie und Modulformen beschäftigt. Er ist Professor für reine Mathematik am Imperial College London.^[1]

Buzzard studierte an der Cambridge University (Bachelor 1990, Master 1994), wo er 1990 Senior Wrangler in den Tripos-Prüfungen war und 1995 bei Richard Taylor promovierte (The levels of modular representations). Als Post-Doc war er 1995 am Institute for Advanced Study und 1996/97 an der University of California, Berkeley. Ab 1998 war er Lecturer, ab 2002 Reader und ab 2004 Professor am Imperial College in London. Er war 2002 am Institut Henri Poincaré in Paris und Gastprofessor in Harvard.^[2]

In der Laudatio auf den Whitehead-Preis werden seine Arbeiten zur vollständigen Beschreibung der möglichen Stufen modularer mod l Galois-Darstellungen und seine Arbeiten zu p-adischen Modulformen hervorgehoben.^[3] Unter anderem vereinfachte er die Theorie von Robert F. Coleman und Barry Mazur über Familien p-adischer Modulformen (und verallgemeinerte deren Konstruktion von Eigencurves 2007 auf Eigenvarieties) und gab ein Kriterium aus der Galoistheorie dafür, wann eine p-adische Modulform analytisch zu einer klassischen Modulform fortgesetzt werden kann.

1993 erhielt er den Smith-Preis der Universität Cambridge.^[4] 2002 erhielt er den Whitehead-Preis der London Mathematical Society^[3] und 2008 den Senior Berwick-Preis.^[5]

Zusätzlich zu seinem Hintergrund in Zahlentheorie entwickelte er eine Interesse an der formalen, maschinengestützen Verifikation von mathematischen Beweisen.^[6] Er initiierte und leitet das Xena Projekt, welches unter anderem Bachelor-Studenten dabei helfen soll, den Umgang mit dem Beweisassistenten Lean beizubringen.^[7] Buzzard hielt verschiedene Vorträge über damit verbundene Themen, wie der Homotopietypentheorie als Grundlegung für Mathematik auf dem Online Worldwide Seminar on Logic and Semantics^[8] oder maschinengestützten formalen Beweisen als mögliche Zukunft der Mathematik bei Microsoft Research.^[9] Zusammen mit Johan Commelin und Patrick Massot gelang es Buzzard das mathematische Konzept des perfektoiden Raums, welches von Peter Scholze eingeführt wurde, in Lean zu formalisieren. Da es sich bei perfektoiden Räumen um komplexe Objekte handelt, welche erst 2012 eingeführt wurden^[10] und signifikant zu Scholzes Auszeichnung mit der Fields-Medaille beigetragen haben, soll dies demonstrieren, dass nicht nur einfache Mathematik mit verfügbaren Technologien formalisiert werden kann.^[11]

2022 war er Plenarsprecher auf dem Internationalen Mathematikerkongress (The rise of formalism in mathematics).

• mit J. Nekovar, David Burns (Hrsg.): L-Functions and Galois-Representations. London Mathematical Society Lecturenotes, 2007.
• Eigenvarieties, in: David Burns, Kevin Buzzard, Jan Nekovář (Hrsg.), L-functions and Galois representations, London Math. Soc. Lecture Note Ser., 320, Cambridge University Press, 2007, S. 59–120
• What is the point of computers? A question for pure mathematicians, ICM 2022, Arxiv

Commons: Kevin Buzzard – Sammlung von Bildern, Videos und Audiodateien

• Homepage am Imperial College
• Kevin Buzzard in der Datenbank zbMATH

1. ↑ Home - Professor Kevin Buzzard. Abgerufen am 29. August 2020. 
2. ↑ Kevin Buzzard: CV Kevin Buzzard. Abgerufen am 29. August 2020 (englisch). 
3. ↑ ^{a b} LMS Prizes 2001. 3. Oktober 2009, archiviert vom Original am 3. Oktober 2009; abgerufen am 29. August 2020. 
4. ↑ Prizes and Awards. Abgerufen am 29. August 2020 (britisches Englisch). 
5. ↑ LMS Prizes. 4. August 2007, archiviert vom Original (nicht mehr online verfügbar) am 4. August 2007; abgerufen am 29. August 2020. 
6. ↑ Home - Professor Kevin Buzzard. Abgerufen am 29. August 2020. 
7. ↑ What is the Xena project? In: Xena. 8. Mai 2019, abgerufen am 29. August 2020 (englisch). 
8. ↑ OWLS. Abgerufen am 29. August 2020. 
9. ↑ The Future of Mathematics? In: Microsoft Research. Abgerufen am 29. August 2020 (amerikanisches Englisch). 
10. ↑ Peter Scholze: Perfectoid Spaces. In: Publications mathématiques de l'IHÉS. Band 116, Nr. 1, November 2012, ISSN 0073-8301, S. 245–313, doi:10.1007/s10240-012-0042-x (springer.com [abgerufen am 29. August 2020]). 
11. ↑ Kevin Buzzard, Johan Commelin, Patrick Massot: Formalising 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, S. 299–312, doi:10.1145/3372885.3373830 (acm.org [abgerufen am 29. August 2020]).