Кирилл Елагин

Биография

Санкт-Петербургский академический университет (2015)

  • Аспирант программы «Математическая логика, алгебра и теория чисел»

Санкт-Петербургский академический университет (2013—2015)

  • Степень магистра прикладных математики и физики, с отличием
  • Диплом: «О вычислительной эквивалентности высших индуктивных типов»

Университет ИТМО (2009—2013)

  • Степень бакалавра прикладных математики и информатики
  • Диплом: «Создание инфраструктуры для исполнения в браузере приложений ОС Android»

Научные интересы

  • Гомотопическая теория типов
  • Зависимые типы

Профессиональная деятельность