• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Мероприятия
30 ноября – 1 декабря
Статья
Использование модульного подхода во встраиваемых операционных системах

Маллачиев К., Пакулин Н. В., Хорошилов А. В. и др.

Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 283-294.

Глава в книге
Математическая модель фазовых переходов с учетом течения жидкости.

Карпов В.Е., Лобанов А. И.

В кн.: Тезисы докладов XXIV Международной конференции "Математика. Компьютер. Образование". МКО-2017. М.: 2017.

Тема «профессора» – Новости

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

В декабрьском номере HERB сотрудники базовой кафедры рассказали об образовании в области ИТ

В конце декабря 2016 г. вышел номер журнала НИУ ВШЭ Higher Education in Russia and Beyond (HERB), посвященный компьютерным наукам – Computer Science: History of Emerging Discipline. В его подготовке в качестве авторов статей приняли непосредственное участие сотрудники базовой кафедры "Системное программирование".