Kevin Buzzard
@kbuzzard
A background refresh was started because this profile was last fetched over a day ago.
- Country
- United Kingdom
- Rank
- #124
- Profile
- View on GitHub
- Company
- @ImperialCollegeLondon
- Location
- London
- Blog/Website
- https://profiles.imperial.ac.uk/k.buzzard
- k.buzzard@imperial.ac.uk
- -
- Hireable
- -
- Public Repos
- 45
- Public Gists
- 84
- Account
- User
- Joined GitHub
- Sep 12, 2017 (8 years, 1 month ago)
- Last Updated
- Nov 02, 2025 17:40
Bio
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.
Followers
856
Following
0
Contributions (last year)
1,196
Similar Developers
