Photo from Wikimedia Commons · Paulabuzzard · CC BY-SA 3.0 ↗Faculty page · profiles.imperial.ac.uk ↗

Kevin Buzzard

Researcher

Now Professor of Pure Mathematics, Imperial College London

Latest on AI4S.fyiCommentary · Oct 16How to Formalize All of Mathematics

Photos come from each person's X account, their own site, lab or team page, a conference page that lists them as a speaker in the same role, or Wikimedia Commons under the licence credited, so some may be out of date. Anyone can ask for theirs to be replaced or removed. Contact →

Affiliations

Current

Professor of Pure Mathematics · Imperial College Londonas of 2026-10-07profiles.imperial.ac.uk ↗

Current roles come from these dated records, not from the bio below. Each links the page it was read from.

Commentary by them

2026-10-16How to Formalize All of Mathematics
2026-10-01To grieve, or not to grieve?

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →