• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Новости

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

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

Исследователи и преподаватели ВШЭ отмечены наградами

Исследователи и преподаватели ВШЭ отмечены наградами
23 декабря на заседании Ученого совета были вручены правительственные, ведомственные и университетские награды. Профессор факультета компьютерных наук Ефим Гринкруг отмечен знаком «Почётный работник науки и техники РФ» — наградой Министерства образования и науки РФ.

Подведены итоги открытого конкурса НИРС

В этом году в конкурсе на лучшую студенческую научно-исследовательскую работу кроме студентов Вышки впервые смогли принять участие студенты других российских и зарубежных вузов. Всего из 1256 работ, отправленных на конкурс, около 200 были поданы участниками не из ВШЭ.

ИВАННИКОВ ВИКТОР ПЕТРОВИЧ (27.02.1940 – 27.11.2016)

Департамент программной инженерии ФКН и кафедра "Системное программирование" ИСП РАН с глубоким прискорбием извещают о безвременной кончине заведующего кафедрой "Системное программирование", профессора, доктора физико-математических наук, научного руководителя Института системного программирования РАН, академика Иванникова Виктора Петровича. Выражаем глубокие соболезнования родным и близким Виктора Петровича Иванникова.

Открытая конференция по компиляторным технологиям

Открытая конференция по компиляторным технологиям проводится по инициативе ИСП РАН и Samsung и посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др

Конференция «Облачные вычисления. Образование. Исследования. Разработка»

На сайте конференции «Облачные вычисления. Образование. Исследования. Разработка» опубликована программа мероприятия.