{"id":129,"date":"2018-10-15T12:11:13","date_gmt":"2018-10-15T12:11:13","guid":{"rendered":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/?p=129"},"modified":"2018-10-15T12:11:13","modified_gmt":"2018-10-15T12:11:13","slug":"professor-kevin-buzzard-professor-of-pure-mathematics-mathematics","status":"publish","type":"post","link":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/","title":{"rendered":"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics"},"content":{"rendered":"

\"\"<\/p>\n

I left a Cambridge Junior Research Fellowship to take up a full-time lectureship position at Imperial 20 years ago and I have never looked back.<\/p>\n

I am now a professor of pure mathematics and I specialise in algebraic number theory. I have been a visitor at the IAS in Princeton, a visiting lecturer at Harvard, have won several prizes both for my research and my teaching, and have given lectures all around the world.<\/p>\n

I have recently become interested in applications of computer science to mathematical theorem proving. Computers can now easily beat humans at chess — when will they be able to beat humans at mathematics? I run the Xena Project, an informal computer club where I teach undergraduate mathematicians how to explain undergraduate level mathematical results to a computer. In return, the computer checks their mathematical ideas. If they compile, the argument is correct. This gamifies mathematics, gives instant feedback to the student, and relieves staff from marking. But what I find most exciting about this project is that now our undergraduate students are better at it than the staff. I am beginning to integrate these ideas more into my undergraduate teaching, and Imperial have agreed to fund an education specialist who will interview students taking my course and attempt to discover whether my intervention makes a difference. Imperial College has been extremely supportive with this rather drastic recent change of direction in my research and teaching perspectives, and I believe that this is because from the top down this university has a deep-rooted interest in trying out new ideas.<\/p>\n

When I am not doing this, I am co-director of a CDT, deputy head of pure mathematics, and the department’s outreach champion.<\/p>\n","protected":false},"excerpt":{"rendered":"

I left a Cambridge Junior Research Fellowship to take up a full-time lectureship position at Imperial 20 years ago and I have never looked back.<\/p>\n","protected":false},"author":1220,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-129","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"\nProfessor Kevin Buzzard, Professor of Pure Mathematics, Mathematics - Imperial people<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics - Imperial people\" \/>\n<meta property=\"og:description\" content=\"I left a Cambridge Junior Research Fellowship to take up a full-time lectureship position at Imperial 20 years ago and I have never looked back.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/\" \/>\n<meta property=\"og:site_name\" content=\"Imperial people\" \/>\n<meta property=\"article:published_time\" content=\"2018-10-15T12:11:13+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/blogs.imperial.ac.uk\/imperial-people\/files\/2018\/10\/Kevin.jpg\" \/>\n<meta name=\"author\" content=\"Andrew Czyzewski\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Andrew Czyzewski\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/\"},\"author\":{\"name\":\"Andrew Czyzewski\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/#\\\/schema\\\/person\\\/e3f61d5b6e6c3a861ab64ab511a6f47b\"},\"headline\":\"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics\",\"datePublished\":\"2018-10-15T12:11:13+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/\"},\"wordCount\":292,\"commentCount\":0,\"image\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/files\\\/2018\\\/10\\\/Kevin.jpg\",\"articleSection\":[\"Uncategorized\"],\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/\",\"url\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/\",\"name\":\"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics - Imperial people\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/files\\\/2018\\\/10\\\/Kevin.jpg\",\"datePublished\":\"2018-10-15T12:11:13+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/#\\\/schema\\\/person\\\/e3f61d5b6e6c3a861ab64ab511a6f47b\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#primaryimage\",\"url\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/files\\\/2018\\\/10\\\/Kevin.jpg\",\"contentUrl\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/files\\\/2018\\\/10\\\/Kevin.jpg\",\"width\":1239,\"height\":889},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/2018\\\/10\\\/15\\\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/#website\",\"url\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/\",\"name\":\"Imperial people\",\"description\":\"A look behind the scenes with the staff who make Imperial tick\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/#\\\/schema\\\/person\\\/e3f61d5b6e6c3a861ab64ab511a6f47b\",\"name\":\"Andrew Czyzewski\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/0b60b4ed67c435dbff1ecd2fdceae585be54ab6bd5599553889cb71fc83eed8b?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/0b60b4ed67c435dbff1ecd2fdceae585be54ab6bd5599553889cb71fc83eed8b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/0b60b4ed67c435dbff1ecd2fdceae585be54ab6bd5599553889cb71fc83eed8b?s=96&d=mm&r=g\",\"caption\":\"Andrew Czyzewski\"},\"url\":\"https:\\\/\\\/blogs.imperial.ac.uk\\\/imperial-people\\\/author\\\/aczyzews\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics - Imperial people","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/","og_locale":"en_GB","og_type":"article","og_title":"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics - Imperial people","og_description":"I left a Cambridge Junior Research Fellowship to take up a full-time lectureship position at Imperial 20 years ago and I have never looked back.","og_url":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/","og_site_name":"Imperial people","article_published_time":"2018-10-15T12:11:13+00:00","og_image":[{"url":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/files\/2018\/10\/Kevin.jpg","type":"","width":"","height":""}],"author":"Andrew Czyzewski","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Andrew Czyzewski","Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#article","isPartOf":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/"},"author":{"name":"Andrew Czyzewski","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/#\/schema\/person\/e3f61d5b6e6c3a861ab64ab511a6f47b"},"headline":"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics","datePublished":"2018-10-15T12:11:13+00:00","mainEntityOfPage":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/"},"wordCount":292,"commentCount":0,"image":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#primaryimage"},"thumbnailUrl":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/files\/2018\/10\/Kevin.jpg","articleSection":["Uncategorized"],"inLanguage":"en-GB","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/","url":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/","name":"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics - Imperial people","isPartOf":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#primaryimage"},"image":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#primaryimage"},"thumbnailUrl":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/files\/2018\/10\/Kevin.jpg","datePublished":"2018-10-15T12:11:13+00:00","author":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/#\/schema\/person\/e3f61d5b6e6c3a861ab64ab511a6f47b"},"breadcrumb":{"@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#primaryimage","url":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/files\/2018\/10\/Kevin.jpg","contentUrl":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/files\/2018\/10\/Kevin.jpg","width":1239,"height":889},{"@type":"BreadcrumbList","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/2018\/10\/15\/professor-kevin-buzzard-professor-of-pure-mathematics-mathematics\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/"},{"@type":"ListItem","position":2,"name":"Professor Kevin Buzzard, Professor of Pure Mathematics, Mathematics"}]},{"@type":"WebSite","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/#website","url":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/","name":"Imperial people","description":"A look behind the scenes with the staff who make Imperial tick","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Person","@id":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/#\/schema\/person\/e3f61d5b6e6c3a861ab64ab511a6f47b","name":"Andrew Czyzewski","image":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/secure.gravatar.com\/avatar\/0b60b4ed67c435dbff1ecd2fdceae585be54ab6bd5599553889cb71fc83eed8b?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/0b60b4ed67c435dbff1ecd2fdceae585be54ab6bd5599553889cb71fc83eed8b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0b60b4ed67c435dbff1ecd2fdceae585be54ab6bd5599553889cb71fc83eed8b?s=96&d=mm&r=g","caption":"Andrew Czyzewski"},"url":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/author\/aczyzews\/"}]}},"_links":{"self":[{"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/posts\/129","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/users\/1220"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/comments?post=129"}],"version-history":[{"count":1,"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/posts\/129\/revisions"}],"predecessor-version":[{"id":131,"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/posts\/129\/revisions\/131"}],"wp:attachment":[{"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/media?parent=129"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/categories?post=129"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.imperial.ac.uk\/imperial-people\/wp-json\/wp\/v2\/tags?post=129"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}