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


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

27 Сентября, 2013

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

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

  • Курмангалеев Шамиль Фаимович, «Автоматизация переноса Cи/Cи++-приложений на новые платформы» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Автореферат диссертации в формате PDF (785 КБ)
  • Новиков Евгений Михайлович, «Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Автореферат диссертации в формате PDF (214 КБ)

Все новости