• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
vision For visually-impaired
Расширенный поиск по сайту
Menu
Courses
ФКН
HSE University
vision For visually-impaired
Расширенный поиск по сайту
Joint Department with the RAS Institute for System Programming
School of Software Engineering
Joint Department with the RAS Institute for System Programming
Contacts

Contacts

167005, Moscow, 11, Pokrovsky boulevard

Administrations
Arutyun Avetisyan
Department Head – Arutyun Avetisyan
Efim M. Grinkrug
Deputy Department Head – Efim M. Grinkrug
Publications
Book
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article
Optimization of ProVerif Programs for AKE Protocols

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

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

Book chapter
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.

Working paper
Preventive Model-based Verification and Repairing for SDN Requests

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

arxiv.org. Computer Science. Cornell University, 2020

All publications

Compiler Technologies

2024/2025
Academic Year
RUS
Instruction in Russian
5
ECTS credits
Delivered by:
Joint Department with the RAS Institute for System Programming
Type:
When:
1 year, 1, 2 module

Instructor

Kulagin, Ivan

Kulagin, Ivan