• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Архитектура системы глубокого разбора сетевого трафика

Гетьман А. И., Маркин Ю. В., Падарян В. А. и др.

Системный администратор. 2018. Т. 1. № 2. С. 83-87.

Глава в книге
Minimizing Deterministic Timed Finite State Machines

Bresolin D., Tvardovskii A., Nina Yevtushenko et al.

In bk.: IFAC-PapersOnLine (T.V.51.Вып 7). Elsevier, 2018. P. 486-492.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

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

Открывается конкурс на замещение должностей профессорско-преподавательского состава

НИУ ВШЭ проводит конкурс на замещение 561 должности профессорско-преподавательского состава (ППС) по кафедрам, департаментам и факультетам в Москве, Санкт-Петербурге, Нижнем Новгороде и Перми. Конкурсный отбор объявили 111 подразделений университета.

Международная конференция Иванниковские чтения

3-4 мая 2018 г. в Российско-Армянском университете прошла международная конференция Иванниковские чтения (Ivannikov Memorial Workshop), посвященная памяти Виктора Петровича Иванникова, выдающегося ученого, основателя школы системного программирования, одного из первых разработчиков операционных систем в России.

Открытая конференция ИСП РАН состоялась в Москве

В начале декабря в Российской академии наук прошла вторая Открытая конференция ИСП РАН имени академика В.П. Иванникова. ISPRAS Openс этого года получила международный статус и официальную поддержку ведущего мирового профессионального сообщества по развитию технологий IEEE. Конференция собрала специалистов в области системного программирования из разных стран, став глобальной площадкой для встреч и общения профессионалов, которой давно не хватало этой отрасли в Российской Федерации.

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

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

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

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