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

Phd

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

Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC

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

Баймуратов Ильдар Раисович

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

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

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

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

Харламов Евгений Юрьевич

PhD, доцент

Университет Осло, доцент (Факультет математики и естественных наук, Кафедра информатики)

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

Геппенер Владимир Владимирович

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

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

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

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

Басов Олег Олегович

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

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

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

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

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

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

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

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

Бухановский Александр Валерьевич

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

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

Гаврилова Татьяна Альбертовна

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

федеральное государственное бюджетное образовательное учреждение «Санкт-Петербургский государственный университет», заведующий кафедрой, кафедра информационных технологий в менеджменте

Карпов Алексей Анатольевич

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

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

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

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

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

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

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

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

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

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

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