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

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 23:26, 13 лютого 2022, створена TohaomgBot (обговорення | внесок) (Перекладено дати в примітках з англійської на українську)
Перейти до навігації Перейти до пошуку
Кевін Баззард
англ. Kevin Buzzard
Народився 21 вересня 1968(1968-09-21) (55 років)
Країна  Велика Британія
Діяльність математик, викладач університету
Галузь математика
Alma mater Триніті-коледж (Кембридж), Кембриджський університет
Науковий керівник Річард Лоуренс Тейлор
Знання мов англійська
Заклад
Нагороди

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

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

  1. Xena. Xena.
  2. Lean Library currently studying for a degree at Imperial College : kbuzzard/xena. 23 березня 2019 — через GitHub.