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


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

28 Сентября, 2012

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

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

  • Мутилин Вадим Сергеевич, «Верификация драйверов операционной системы Linux при помощи предикатных абстракций» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Автореферат диссертации в формате PDF (462 КБ)

Все новости