![Институт систем информатики им. А.П. Ершова СО РАН Институт систем информатики им. А.П. Ершова СО РАН](/files/styles/news/public/news/image/iis_logo_100x100_100_0.png?itok=FvdDFY3Q)
14 сентября в 15:00 в семинарской комнате ИСИ СО РАН состоится защита диссертации на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Соискатель: Дмитрий Александрович Кондратьев, м.н.с. ИСИ СО РАН
Тема: Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями
Трансляция защиты будет вестись на канале института в YouTube. Желающие смогут задавать вопросы в чате.
Запись защиты диссертации доступна на видеоканале ИСИ в YouTube.