- A
- A
- A
- АБB
- АБB
- АБB
- А
- А
- А
- А
- А
Обычная версия сайта
Адрес: 109028, г. Москва, Покровский бульвар, д. 11
Телефон: +7(495) 772-95-90*27297
Руководство
Заведующий кафедрой
–
Аветисян Арутюн Ишханович
Заместитель заведующего кафедрой
–
Гринкруг Ефим Михайлович
О кафедре
Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).
Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.
Книга
Под науч. редакцией: 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
Тема «Департамент программной инженерии» – Новости
Статья Константина Дегтярева, доцента департамента программной инженерии, и Михаила Носовского, студента 4 курса ОП "Программная инженерия" Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them признана победителем конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году.
На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2017 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».
19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в России с 1991 года – 11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.