25 марта в ИСИ СО РАН на заседании объединенного диссертационного совета Д 999.082.03 состоялась успешная защита диссертации Дмитрия Александровича Мордвинова «Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна» на соискание ученой степени кандидата физико-математических наук.
Сердечно поздравляем Дмитрия Александровича с успешной защитой!
Предлагаем вашему вниманию видеозапись защиты.