Кевін Баззард

Кевін Марк Баззард (народжений 21 вересня 1968) — британський математик і професором чистої математики в Імперському коледжі Лондона. Cпеціалізується в алгебрагічній теорії чисел.

Кевін Баззард
англ. Kevin Buzzard
Народився 21 вересня 1968(1968-09-21) (53 роки)
Країна  Велика Британія
Діяльність математик, викладач університету
Галузь математика
Alma mater Триніті-коледж (Кембридж), Кембриджський університет
Науковий керівник Річард Лоуренс Тейлор
Знання мов англійська
Заклад

Імперський коледж Лондона

Гарвардський університет
Нагороди

Smith's Prized (1993)

премія Вайтгеда (2002)

Senior Berwick Prized (2008)

В 2017 Кевін створив проект Xena, задля впровадження застосування комп'ютерів для верифікації майбутніх досліджень у чистій математиці [1][2].

  1. Xena. Xena.
  2. Lean Library currently studying for a degree at Imperial College : kbuzzard/xena. 23 березня 2019 — через GitHub.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.