RUS ENG

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

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

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


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

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

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

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

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

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

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


Контактная информация

194021, Санкт-Петербург, ул. Политехническая, д. 21, ауд. 104

Тел./факс: +7-812-2971639

Кафедра расположена на 1 этаже 9 корпуса СПбГПУ.

 Зав. кафедрой проф. Карпов Юрий Глебович


Ближайшие события

в этом списке нет новостей.

Недавние события

27.06.2017 Учебный процесс:
23.06.2017 Учебный процесс:
29.06.2016 Учебный процесс:
22.06.2016 Учебный процесс:
Отображение результатов 1 до 5 из 101
<< Первая < предыдущ. 1-5 6-10 11-15 16-20 21-25 26-30 31-35 следующ. > Последняя>>

Недавние обновления

Aktuell liegen keine neuen Inhalte vor.