Диссертация соискателя: Ушакова Мария Сергеевна


Тема:	Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ
Диссертационный совет:	24.2.404.05
На степень:	кандидата технических наук
Специальность:	2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей (технические науки)
Отрасль науки:	техническая
Дата защиты:	12 мая 2022 года в 16.00 часов
Адрес проведения защиты:	660074, г. Красноярск, ул. Киренского, 26Б, УЛК, ауд. 1-12

Документы

Диссертация (.pdf, 5.3 МБ) (опубликовано 02.02.2022)
Автореферат (.pdf, 390 КБ) (опубликовано 03.03.2022)
Протокол о приеме к защите (.pdf, 120 КБ) (опубликовано 03.03.2022)
Отзыв научного руководителя (.pdf, 1 МБ) (опубликовано 03.03.2022)
Отзыв официального оппонента Феоктистова А.Г (.pdf, 2.2 МБ) (опубликовано 20.04.2022)
Список публикаций Феоктистова А.Г (.pdf, 590 КБ) (опубликовано 20.04.2022)
Отзыв официального оппонента Водяхо А.И (.pdf, 800 КБ) (опубликовано 20.04.2022)
Список публикаций Водяхо А.И (.pdf, 590 КБ) (опубликовано 20.04.2022)
Отзыв ведущей организации (.pdf, 3.2 МБ) (опубликовано 20.04.2022)
Список публикаций ведущей организации (.pdf, 60 КБ) (опубликовано 20.04.2022)
Отзыв Дорофеева А.С. на автореферат (.pdf, 810 КБ) (опубликовано 27.04.2022)
Отзыв Зыкова С.В. на автореферат (.pdf, 1.4 МБ) (опубликовано 27.04.2022)
Отзыв Левина И.И. на автореферат (.pdf, 1.5 МБ) (опубликовано 27.04.2022)
Отзыв Шалыто А.А. на автореферат (.pdf, 1 МБ) (опубликовано 27.04.2022)
Отзыв Штейнберга Б.Я. и Михалковича С.С. на автореферат (.pdf, 540 КБ) (опубликовано 27.04.2022)
Отзыв Богданова А.С. на автореферат (.pdf, 1.3 МБ) (опубликовано 29.04.2022)
Отзыв Промского А.В. на автореферат (.pdf, 1.9 МБ) (опубликовано 04.05.2022)
Отзыв Дордопуло А.И. на автореферат (.pdf, 330 КБ) (опубликовано 06.05.2022)
Протокол защиты (.pdf, 150 КБ) (опубликовано 18.05.2022)
Заключение диссертационного совета (.pdf, 770 КБ) (опубликовано 19.05.2022)
Информационная справка (.pdf, 940 КБ) (опубликовано 19.05.2022)