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