Кевін Баззард
Кевін Баззард | |
---|---|
англ. Kevin Buzzard | |
Народився | 21 вересня 1968 (55 років) |
Країна | Велика Британія |
Діяльність | математик, викладач університету |
Галузь | математика |
Alma mater | Триніті-коледж (Кембридж), Кембриджський університет |
Науковий керівник | Річард Лоуренс Тейлор |
Знання мов | англійська |
Заклад | |
Нагороди | |
Кевін Марк Баззард (народжений 21 вересня 1968) — британський математик і професором чистої математики в Імперському коледжі Лондона. Cпеціалізується в алгебрагічній теорії чисел.
В 2017 Кевін створив проект Xena, задля впровадження застосування комп'ютерів для верифікації майбутніх досліджень у чистій математиці [1][2].
- ↑ Xena. Xena.
- ↑ Lean Library currently studying for a degree at Imperial College : kbuzzard/xena. 23 березня 2019 — через GitHub.