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

Дата публикации: 30 октября 2023.

Диссертация на соискание ученой степени кандидата физико-математических наук / 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)