Kevin Buzzard, Ph.D.

Kevin Buzzard is a professor of pure mathematics at Imperial College London and a maintainer of the mathematics library of the functional programming language Lean. In recent years, he has given talks all over the world about using interactive theorem provers to do mathematics, including a plenary lecture at the International Congress of Mathematics in 2022. He is a recipient of the London Mathematical Society’s Whitehead Prize and Senior Berwick Prize and won Imperial College’s President’s Medal for Teaching Innovation in 2020.