Костюков Юрий Олегович / Kostiukov Iurii Olegovich

Диссертация на соискание ученой степени кандидата физико-математических наук / Dissertation submitted for the degree of candidate of physico-mathematical sciences

Научная специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей / Scientific specialty 2.3.5. Mathematical and software support for computers, complexes and computer networks

Тема: «Автоматический вывод индуктивных инвариантов программ с алгебраическими типами данных» / Theme: Automatic inference of inductive invariants of programs with algebraic data types

Дата и время проведения защиты диссертации на соискание ученой степени / Date & time: 13.03.2024, 15:00

Место проведения заседания: Санкт-Петербург, Петергоф, ул. Ульяновская, д. 1, Голубой зал / Venue: St. Petersburg, Peterhof, Ulyanovskaya str. 1, Blue Hall

 

Заявление (.pdf) (30.10.2023)

Диссертация (.pdf) (30.10.2023)

Dissertation (.pdf) (30.10.2023)

Список публикаций (.pdf) (30.10.2023)

Отзыв научного руководителя (.pdf) (30.10.2023)

Заключение СПбГУ (.pdf) (30.10.2023)

Объявление о начале формирования состава диссертационного совета (.pdf) (30.10.2023) 

Список кандидатов в члены диссертационного совета (.pdf) (13.11.2023)

Приказ № 14725/1 от 16.11.2023 «О принятии к защите диссертации Костюкова Ю. О.» (.pdf) (16.11.2023)

Приказ № 15468/1 от 06.12.2023 «Об утверждении состава диссертационного совета по защите диссертации Костюкова Ю. О.» (.pdf) (06.12.2023)

Приказ № 16913/1 от 27.12.2023 «О проведении заседания диссертационного совета по защите диссертации Костюкова Ю. О.» (.pdf) (28.12.2023)

 

Отзыв Ведущей организации (.pdf) (01.03.2024)

Отзыв А. Г. Владимирова (.pdf) (01.03.2024)

Отзыв Н. В. Кузнецова (.pdf) (01.03.2024)

Отзыв Т. А. Гавриловой (.pdf) (01.03.2024)

Отзыв А. А. Шалыто (.pdf) (01.03.2024)

Отзыв Л. В. Уткина (.pdf) (01.03.2024)

Отзыв Е. М. Парилиной (.pdf) (01.03.2024)

 

Аудио- и видеозапись заседания диссертационного совета. Русскоязычная версия

Audio and video recording of the sitting of the Examination Board for postgraduate studies. English version

 

Заключение диссертационного совета (.pdf) (14.03.2024)

Приказ № 8691/1 от 17.06.2024 «О выдаче диплома о присуждении учёной степени Костюкова Ю. О.» (.pdf) (18.06.2024)

Метки: Прошедшие защиты

Печать E-mail

Короткие ссылки на go.spbu.ru: https://go.spbu.ru/23a3010