Кевін Баззард
Кевін Марк Баззард (народжений 21 вересня 1968) — британський математик і професором чистої математики в Імперському коледжі Лондона. Cпеціалізується в алгебрагічній теорії чисел.
Кевін Баззард | |
---|---|
англ. Kevin Buzzard | |
| |
Народився | 21 вересня 1968 (53 роки) |
Країна | Велика Британія |
Діяльність | математик, викладач університету |
Галузь | математика |
Alma mater | Триніті-коледж (Кембридж), Кембриджський університет |
Науковий керівник | Річард Лоуренс Тейлор |
Знання мов | англійська |
Заклад | |
Нагороди | |
В 2017 Кевін створив проект Xena, задля впровадження застосування комп'ютерів для верифікації майбутніх досліджень у чистій математиці [1][2].
- Xena. Xena.
- 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.