Елагин Кирилл Владимирович

Программа обучения: 
CS
Год окончания: 
2015
Тема магистерской: 
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
Чем занимается сейчас: 
аспирант АУ, работает в JetBrains
ВУЗ до АУ: 
О вычислительной эквивалентности высших индуктивных типов