Imperial College London homepage
Skip to main contentAll experts

ProfessorKevin Buzzard

Professor of Pure Mathematics

Department of Mathematics - Faculty of Natural Sciences

Orcid identifier0000-0002-7187-5109 (opens in a new tab)⁠
  • Professor of Pure Mathematics
    Department of Mathematics - Faculty of Natural Sciences
  • k.buzzard@imperial.ac.uk (opens in a new tab)
  • 660, Huxley Building, South Kensington Campus, United Kingdom
  • 2025 Strachey Lecture (opens in a new tab)⁠
  • Stanford MRC public lecture (opens in a new tab)⁠
  • 2023 Bernays Lectures (opens in a new tab)⁠
  • 2022 Plücker lectures (opens in a new tab)⁠
  • Mathlib -- a formalized database of modern mathematical theorems and definitions (opens in a new tab)⁠
  • the natural number game (opens in a new tab)⁠
  • Affiliations – Artificial Intelligence Network (opens in a new tab)⁠
  • Affiliations – CNRS-Imperial Abraham de Moivre UMI (opens in a new tab)⁠
  • Affiliations – Mathematics research and teaching staff (opens in a new tab)⁠
  • Affiliations – Number Theory (opens in a new tab)⁠
  • Affiliations – Pure Mathematics (opens in a new tab)⁠
Are you Kevin Buzzard?
Edit your profile
  • ABOUT
  • PUBLICATIONS
  • RESEARCH
  • PROFESSIONAL ACTIVITIES

RESEARCH

Formal proof verification
Algebraic number theory
The Langlands Philosophy
Imperial College London logo

Imperial College London South Kensington Campus London SW7 2AZ

+44 (0)20 7589 5111

»Report an issue via the service desk (opens in a new tab)⁠

  • »Visit Imperial (opens in a new tab)⁠
  • »Study at Imperial (opens in a new tab)⁠
  • »Faculties and departments (opens in a new tab)⁠
  • »What's on (opens in a new tab)⁠
  • »News (opens in a new tab)⁠
  • »Jobs (opens in a new tab)⁠
  • »About Imperial (opens in a new tab)⁠
  • »Research and innovation (opens in a new tab)⁠
  • »Leadership and strategy (opens in a new tab)⁠
  • »Support for partners and business (opens in a new tab)⁠
  • »Accessibility (opens in a new tab)⁠
  • »Cookie policy (opens in a new tab)⁠
  • »Media Team (opens in a new tab)⁠
Powered bySymplectic, part of Digital Science (opens in a new tab)