Илья Кайсин

Биография

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

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

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