Биография
В 2011 году окончил магистратуру Санкт-Петербургского академического университета. Аспирант Лондонского университета.
Научные интересы: математическая логика, теория категорий, алгебраическая топология.
Степень PhD получена в университете Лондона
Публикации
- 11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, Январь 2020
-
Группа HoTT и зависимых типов Исследователь