Костюков Юрий Олегович / 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)

 

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

Печать E-mail

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