Шошмина Ирина Владимировна

Тема диссертации: Метод разработки формальных контекстных требований для верификации программных систем логического управления
Степень: кандидат наук
Специальность: 05.13.11, Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Отрасль наук: Технические науки
Научный руководитель: Карпов Юрий Глебович , доктор наук , профессор , СПбПУ, кафедра "Распределенные вычисления и компьютерные сети" , заведующий кафедрой
Диссертационный совет: Д 212.229.18
Дата размещения диссертации: 26.03.2015
Предварительное рассмотрение: 18.05.2015
Дата защиты (план): 26.11.2015
Текст диссертации скачать
Отзыв научного руководителя скачать
Автореферат диссертации скачать

Ведущая организация

Короткое название: СПИИРАН
Полное название: ФГБУН "Санкт-Петербургский институт информатики и автоматизации Российской академии наук"
Местонахождение: Россия, Санкт-Петербург
Почтовый адрес: 199178, Россия, г. Санкт-Петербург, 14 линия, д. 39
Телефон: (812) 328-01-03
Адрес электронной почты: c29rb2xAaWlhcy5zcGIuc3U=
Веб-сайт: http://www.spiiras.nw.ru/
Основные публикации: скачать
Отзыв организации: скачать

Первый официальный оппонент

Фамилия, имя, отчество: Ломазова Ирина Александровна
Степень, звание: доктор физико-математических наук , профессор
Научная специальность: 05.13.17, Теоретические основы информатики
Место работы, должность: НИУ "Высшая школа экономики", лаб. "Международная научно-учебная лаборатория процессно-ориентированных информационных систем" , заведующая лабораторией
Основные публикации: скачать
Отзыв первого оппонента: скачать

Второй официальный оппонент

Фамилия, имя, отчество: Ивановский Сергей Алексеевич
Степень, звание: кандидат технических наук , доцент
Научная специальность: 05.13.11, Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Место работы, должность: ФГАОУ ВО "Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И. Ульянова (Ленина)", каф. математического обеспечения и применения ЭВМ , заведующий кафедрой
Основные публикации: скачать
Отзыв второго оппонента: скачать

Отзывы на автореферат и диссертацию

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

Результаты рассмотрения диссертации

Дата заседания совета: 26.11.2015
Присутствовавшие члены совета: Козлов В.Н., Гаврилова Т.А., Иванов В.М., Ивановский Р.И., Имаев Д.Х., Карпов Ю.Г., Лыпарь Ю.И., Малыхина Г.Ф., Мелехин В.Ф., Никифоров В.В., Сениченков Ю.Б., Смирнов Ю.М., Устинов С.М., Черкесов Г.Н., Шашихин В.Н., Шейнин Ю.Е., Шкодырев В.П.
Решение совета: присуждение учёной степени
Файл с заключением совета: скачать