Костюков Юрий Олегович / 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
Заявление (.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)
Метки: Предстоящие защиты
- Короткие ссылки на go.spbu.ru: https://go.spbu.ru/23a3010