![Объединенный диссертационный совет Д 999.082.03 Объединенный диссертационный совет Д 999.082.03](/files/styles/news/public/news/image/iis_logo_100x100_77.png?itok=F69S0lLA)
25 марта в ИСИ СО РАН на заседании объединенного диссертационного совета Д 999.082.03 состоялась успешная защита диссертации Дмитрия Александровича Мордвинова «Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна» на соискание ученой степени кандидата физико-математических наук.
Сердечно поздравляем Дмитрия Александровича с успешной защитой!
Предлагаем вашему вниманию видеозапись защиты.