Math-Life Balance
Interview with Kevin Buzzard
Kevin Buzzard is a professor in Imperial College London working in number theory and formal proof verification. In this interview, Kevin shares his views on the role of computers in doing math, tells about his experience of upbringing 3 kids as a research