Новости института

23 мая в ИСП РАН состоится защита диссертаций

23 мая 2019 года в 15:00 в Актовом зале ИСП РАН состоится защита диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

• Захаров Илья Сергеевич, «Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
• Малых Валентин Андреевич, «Методы сравнения и построения устойчивых к шуму программных систем в задачах обработки текстов» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.