17-18 мая 2024 года в Великом Новгороде состоится международная конференция «Иванниковские чтения», посвящённая разработке инновационных технологий в области системного программирования.
- 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 году.
Несколько дней осталось до начала работы Открытой конференции ИСП РАН им. В.П. Иванникова. В этом году мероприятие посвящено 25-летию Института. Ожидается много гостей, среди которых Николай Бьорнер - главный научный сотрудник Microsoft Research, (Редмонд, США).
Директор ИСП РАН А.И. Аветисян стал первым академиком РАН по специальности «Прикладная математика и информатика, кибербезопасность» (Отделение математических наук РАН). Утверждение протоколов счетной комиссии по итогам тайного голосования состоялось 15 ноября.
Ряд научных организаций и вузов, в том числе НИУ ВШЭ, смогут самостоятельно утверждать ученые степени. Соответствующее распоряжение подписал премьер-министр России Дмитрий Медведев.
27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в России с 1991 года – 11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.