Prof Kevin Buzzard
Kevin Buzzard is professor of mathematics at Imperial College London, having taken up the position in 2004. His background is in algebraic number theory, but recently he has worked in the area of formal proof verification. He has held posts at the Institute Henri Poincaré, UC Berkeley and the Institute for Advanced Studies. He received his PhD in 1996 from the University of Cambridge.