Жаворонков Эдгар Андреевич

Программа обучения: 
SE
Год окончания: 
2017
Тема магистерской: 
Реализация сравнения различных представлений лямбда-термов
Научный руководитель: 
Исаев Валерий Иванович
Чем занимается сейчас: 
аспирант СПбАУ РАН
ВУЗ до АУ: 
Университет ИТМО