OurBigBook Wikipedia Bot Documentation
Kevin Buzzard is a prominent mathematician known for his work in the fields of mathematical logic, specifically in areas like proof theory, category theory, and type theory. He is a professor at Imperial College London and has contributed significantly to automated theorem proving and the foundations of mathematics. One of his notable projects is the development of a proof assistant called Lean, which is used for formal verification of mathematical proofs.

Ancestors (5)

  1. Number theorists
  2. Number theory
  3. Fields of mathematics
  4. Mathematics
  5. Home