Образование Университет Московский государственный университет имени М.В.Ломоносова Факультет Механико-математический факультет Кафедра Кафедра математической логики и теории алгоритмов Город Россия, Москва Форма обучения Очная Статус Аспирант Год выпуска 2012