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

Phd

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

Методы генерации детерминированных конечных автоматов с использованием сокращения пространства поиска при решении задачи выполнимости

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

Ульянцев Владимир Игоревич

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

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

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

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

Уткин Лев Владимирович

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

ФГАОУ ВО «Санкт-Петербургский политехнический университет Петра Великого», заведующий кафедрой (кафедра «Телематика» (при ЦНИИ РТК))

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

Сандип Патил

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

Технологический университет Лулео, Доцент (Кафедра информатики, электротехники и космических технологий)

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

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

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

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

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

Богачев Михаил Игоревич

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

федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)», доцент, Факультет радиотехники и телекоммуникаций

Кудряшов Борис Давидович

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

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

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

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

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

Муромцев Дмитрий Ильич

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

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

Осипов Евгений

PhD, профессор

Технологический университет Лулео, профессор, факультет компьютерных наук и электротехники

Парфенов Владимир Глебович

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

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

Скобцов Юрий Александрович

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

ФГАОУ ВО «Санкт-Петербургский государственный университет арокосмического приборостроения», профессор, кафедра компьютерных технологий и программной инженерии

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

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

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