![Дмитрий Александрович Кондратьев Дмитрий Александрович Кондратьев](/files/styles/news/public/news/image/d_a_kondratyev.jpg?itok=HSs0XbwH)
14 сентября состоялась защита диссертации на соискание ученой степени кандидата физико-математических наук Дмитрия Александровича Кондратьева, м.н.с. лаборатории теоретического программирования ИСИ СО РАН. Тема диссертационной работы - Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями. Научный руководитель - Алексей Владимирович Промский.
Запись защиты диссертации доступна на видеоканале ИСИ в YouTube.
Сердечно поздравляем Дмитрия Александровича с успешной защитой и желаем ему дальнейших успехов в научной деятельности!