RUS ENG

< ОЛО-коды: построение, алгоритмы декодирования, анализ эффективности
17.11.2015 15:51 Давность: 2 yrs

Защита кандидатской диссертации

Поздравляем Ирину Владимировну Шошмину с блестящей защитой диссертации на соискание ученой степени кандидата технических наук!


26 ноября 2015 в 16 часов

на заседании Диссертационного Совета 212.229.18 при ФГАОУ ВО СПбПУ состоялась защита диссертации на соискание ученой степени кандидата технических наук Шошминой Ирины Владимировны "Метод разработки формальных контекстных требований для верификации программных систем логического управления".

Специальность 05.13.11 - «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»

Научный руководитель:    д.т.н., профессор Ю. Г. Карпов

Официальные оппоненты: д.т.н., профессор И. А. Ломазова, к.т.н., доцент С. А. Ивановский

Ведущая организация:   ФГБУН «Санкт-Петербургский институт информатики и автоматизации Российской академии наук»

Единогласным решением членов совета И.В. Шошминой присуждена ученая степень кандидата технических наук.