Новости ИСП РАН

Защита диссертаций

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

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