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 researcher and raises questions about the way we approach math education. Lots of glorious laughter and unforgettable facial expressions are included!Kevin's homepage: https://www.imperial.ac.uk/people/k.buzzardChannel podcast: https://anchor.fm/math-life-balance​​​​Chapters: