Илья Кайсин

Илья Кайсин


Исследовательские группы

Биография

  • Высшая Школа Экономики (Санкт-Петербург), "Прикладная математика и информатика", 2018-2019 (степень бакалавра), 2019-2021 (степень магистра)
  • Санкт-Петербургский Академический Университет, "Прикладная математика и физика", 2015-2018
  • Окончил Кировский физико-математический лицей (2015)

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

Слабые модели памяти, формальная верификация функциональное программирование, теория типов