Методы и средства анализа исходных текстов программ и программных систем на основе семантических моделей
Научный руководительДергачев Андрей Михайлович
кандидат технических наук, -
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», доцент (квалификационная категория "ординарный доцент") (факультет программной инженерии и компьютерной техники)
Скачать отзывОфициальные оппоненты
Хомоненко Анатолий Дмитриевич
доктор технических наук, профессор
федеральное государственное бюджетное образовательное учреждение высшего образования «Петербургский государственный университет путей сообщения Императора Александра I», Заведующий кафедрой (Автоматизация и интеллектуальные технологии)
Скачать отзывПерсональный состав диссертационного совета
Бессмертный Игорь Александрович
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет программной инженерии и компьютерной техники
Кудряшов Борис Давидович
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет информационных технологий и программирования
Кулешов Сергей Викторович
доктор технических наук
Федеральное государственное бюджетное учреждение науки "Санкт-Петербургский Федеральный исследовательский центр Российской академии наук", Главный научный сотрудник, лаборатория автоматизации научных исследований
Лисицына Любовь Сергеевна
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «ординарный профессор»), факультет программной инженерии и компьютерной техники
Матвеев Юрий Николаевич
доктор технических наук
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «профессор-эксперт»), факультет информационных технологий и программирования
Парфенов Владимир Глебович
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «ординарный профессор»), факультет информационных технологий и программирования
Сениченков Юрий Борисович
доктор технических наук, доцент
федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский политехнический университет Петра Великого», профессор, Институт компьютерных наук и технологий
Холодова Светлана Евгеньевна
доктор физико-математических наук, доцент
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», доцент, факультет систем управления и робототехники
Шалыто Анатолий Абрамович
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет информационных технологий и программирования