Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Andreas V. Jonsterhaug
AndreasVJ
Student at the Norwegian University of Science and Technology
Trondheim, Norway