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

Диссертация на соискание ученой степени кандидата физико-математических наук Научная специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей Тема: «Автоматический вывод индуктивных инвариантов программ с алгебраическими типами данных» Дата и время проведения защиты диссертации на соискание ученой степени: 13.03.2024, 15:00 Место проведения заседания: Санкт-Петербург, Петергоф, ул. Ульяновская, д. 1, Голубой зал