Защита диссертации

Phd

Название диссертации:

Модели и алгоритмы вычислительных процессов для решения трудных вариантов проблемы булевой выполнимости

Научный руководитель

Семёнов Александр Анатольевич

кандидат технических наук, доцент

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», старший научный сотрудник (факультет информационных технологий и программирования)

Скачать отзыв

Официальные оппоненты

Маро Екатерина Александровна

кандидат технических наук

федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет", доцент (Институт компьютерных технологий и информационной безопасности)

Скачать отзыв

Цымблер Михаил Леонидович

доктор физико-математических наук, доцент

федеральное государственное автономное образовательное учреждение высшего образования «Южно-Уральский государственный университет (национальный исследовательский университет)», Заместитель директора (Научно-образовательный центр «Искусственный интеллект и квантовые технологии»)

Скачать отзыв

Персональный состав диссертационного совета

Беззатеев Сергей Валентинович

доктор технических наук, доцент

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «профессор практики»), факультет безопасности информационных технологий

Бессмертный Игорь Александрович

доктор технических наук, профессор

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет программной инженерии и компьютерной техники

Бобцов Алексей Алексеевич

доктор технических наук, профессор

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет систем управления и робототехники

Богатырев Владимир Анатольевич

доктор технических наук

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «ординарный профессор»), факультет программной инженерии и компьютерной техники

Лисицына Любовь Сергеевна

доктор технических наук, профессор

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «ординарный профессор»), факультет программной инженерии и компьютерной техники

Матвеев Юрий Николаевич

доктор технических наук

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «профессор-эксперт»), факультет информационных технологий и программирования

Рябко Борис Яковлевич

доктор технических наук, профессор

Сибирское отделение Российской академии наук, "Федеральный исследовательский центр информационных и вычислительных технологий", заведующий лабораторией, Лаборатория информационных систем и защиты информации

Холодова Светлана Евгеньевна

доктор физико-математических наук, доцент

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», доцент, факультет систем управления и робототехники

Шалыто Анатолий Абрамович

доктор технических наук, профессор

федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет информационных технологий и программирования