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