Новости

Поздравляем Д.А. Мордвинова с успешной защитой!

Объединенный диссертационный совет Д 999.082.03

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

Сердечно поздравляем Дмитрия Александровича с успешной защитой!

Предлагаем вашему вниманию видеозапись защиты.