• 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

Тема «достижения» – Новости

Арутюн Аветисян награжден медалью ордена «За заслуги перед Отечеством»

Арутюн Аветисян награжден медалью ордена «За заслуги перед Отечеством»
Профессор Арутюн Аветисян, заведующий кафедрой «Системное программирование» и директор ИСП РАН, за большой вклад в развитие науки и многолетнюю добросовестную работу награжден медалью ордена «За заслуги перед Отечеством» 2 степени.

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

На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2017 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».

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

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