14 сентября состоялась защита диссертации на соискание ученой степени кандидата физико-математических наук Дмитрия Александровича Кондратьева, м.н.с. лаборатории теоретического программирования ИСИ СО РАН. Тема диссертационной работы - Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями. Научный руководитель - Алексей Владимирович Промский.
Запись защиты диссертации доступна на видеоканале ИСИ в YouTube.
Сердечно поздравляем Дмитрия Александровича с успешной защитой и желаем ему дальнейших успехов в научной деятельности!