Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Chenjing Bu
abccsss
Postdoc at the Mathematical Institute, University of Oxford
University of Oxford Oxford