Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
Highlights
- Pro
Block or Report
Block or report kbuzzard
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusekbuzzard isn’t following anybody.
Learn more about being social on GitHub.