เควิน บัซซาร์ด
บัซซาร์ดในปี 2007
เกิด	( 21 กันยายน 1968 )21 กันยายน 2511
อัลมา มัธยฐาน	วิทยาลัยทรินิตี้ เค มบริดจ์
รางวัล	รางวัลไวท์เฮด (ปี 2002) รางวัลเบอร์วิคอาวุโส (ปี 2008)
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	คณิตศาสตร์
สถาบันต่างๆ	อิมพีเรียลคอลเลจลอนดอนมหาวิทยาลัยฮาร์วาร์ด
วิทยานิพนธ์	ระดับของการแสดงแทนแบบโมดูลาร์ (1995)
อาจารย์ที่ปรึกษาปริญญาเอก	ริชาร์ด เทย์เลอร์
นักศึกษาปริญญาเอก	แดเนียล สเนธโทบี้ จี

เควิน มาร์ค บัซซาร์ด (เกิด 21 กันยายน พ.ศ. 2511) เป็นนักคณิตศาสตร์ ชาวอังกฤษ และปัจจุบันดำรงตำแหน่งศาสตราจารย์ด้านคณิตศาสตร์บริสุทธิ์ที่อิมพีเรียลคอลเลจลอนดอนเขาเชี่ยวชาญด้านเรขาคณิตเชิงเลขคณิตและโปรแกรมแลงแลนด์ส^{[ 1 ]}

ขณะที่เรียนอยู่ที่Royal Grammar School, High Wycombeเขาได้เข้าร่วมการแข่งขันโอลิมปิกคณิตศาสตร์นานาชาติซึ่งเขาได้รับเหรียญทองแดงในปี 1986 และเหรียญทองด้วยคะแนนเต็มในปี 1987 ^{[ 2 ]}

เขาได้รับปริญญาตรีสาขาคณิตศาสตร์จากวิทยาลัยทรินิตี้ เคมบริดจ์โดยได้รับตำแหน่งSenior Wranglerในปี 1990 และCASMในปี 1991 ^{[ 3 ]}จากนั้นเขาได้รับปริญญาเอกภายใต้การดูแลของริชาร์ด เทย์เลอร์ด้วยวิทยานิพนธ์เรื่องThe levels of modular representationsในปี 1995 ^{[ 3 ] [ 4 ]}

เขาได้รับตำแหน่งอาจารย์ที่Imperial College Londonในปี 1998 ตำแหน่งรองศาสตราจารย์ในปี 2002 และได้รับการแต่งตั้งเป็นศาสตราจารย์ในปี 2004 ตั้งแต่เดือนตุลาคมถึงธันวาคม 2002 เขาดำรงตำแหน่งศาสตราจารย์รับเชิญที่มหาวิทยาลัยฮาร์วาร์ดโดยก่อนหน้านี้เคยทำงานที่Institute for Advanced Study, Princeton (1995), University of California Berkeley (1996-7) และInstitute Henri Poincaréในปารีส (2000) ^{[ 3 ]}

เขาได้รับรางวัล Whitehead Prize จากLondon Mathematical Societyในปี 2002 สำหรับ "ผลงานอันโดดเด่นของเขาในทฤษฎีจำนวน" ^{[ 5 ]}และรางวัล Senior Berwick Prizeในปี 2008 ^{[ 6 ]}

ในปี 2017 เขาได้เปิด ตัวโครงการ จัดทำรูปแบบอย่างเป็น ทางการอย่างต่อเนื่อง และบล็อกที่เกี่ยวข้องกับตัวพิสูจน์ทฤษฎีบท Lean ^{[ 7 ]}และตั้งแต่นั้นมาก็ได้ส่งเสริมการใช้ผู้ช่วยพิสูจน์ ด้วยคอมพิวเตอร์ ในการวิจัยคณิตศาสตร์ในอนาคต เขาได้บรรยายหลักในการประชุมนานาชาติของนักคณิตศาสตร์ในปี 2022 ในหัวข้อนี้^{[ 8 ]}

เขาเป็นอาจารย์ที่ปรึกษาปริญญาเอกของนักดนตรีDan Snaith [ ^{9 ] หรือที่รู้จักกันใน ชื่อ} Caribou ซึ่งได้รับปริญญาเอกสาขาคณิตศาสตร์จากImperial College Londonจากผลงานของเขาเกี่ยวกับ Overconvergent Siegel Modular Symbols ^{[ 10 ]}

ในปี 2024 Buzzard และผู้ร่วมงานได้รับทุน EPSRCระยะเวลาห้าปีเพื่อเริ่มต้นการกำหนดทฤษฎีบทสุดท้ายของแฟร์มาต์ อย่างเป็นทางการ ใน Lean ^{[ 11 ]}

• เว็บเพจส่วนตัวของเควิน บัซซาร์ด
• เว็บเพจส่วนตัวของเควิน บัซซาร์ด
• บล็อกของเควิน บัซซาร์ด (โครงการซีนา)
• ผลงานของเควิน บัซซาร์ดในการแข่งขันโอลิมปิกคณิตศาสตร์นานาชาติ