167005, Moscow, 11, Pokrovsky boulevard
Edited by: Vitaly Semenov, R. J. Scherer.
CRC Press, 2021.
Bresolin D., El-Fakih K., Villa T. et al.
Formal Methods in System Design. 2022.
Shutkin V., Morozkin N., Zolotov V. et al.
In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.
Burdonov I., Kossachev A., Nina Yevtushenko et al.
arxiv.org. Computer Science. Cornell University, 2020
The joint department of HSE with the Institute for System Programming (ISP) of the Russian Academy of Sciences was founded in 2015. The joint department is part of the School of Software Engineering of the Faculty of Computer Science.
The areas of research and applied development that the joint department is involved in coincide with the main areas of research carried out by the ISP: Programming methodology, software engineering, new programming paradigms, Operating systems, Programming languages, Databases and knowledge bases, Parallel and distributed systems, Computer networks, Intellectual systems.