На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2017 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».
- 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
Новости
19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Ряд научных организаций и вузов, в том числе НИУ ВШЭ, смогут самостоятельно утверждать ученые степени. Соответствующее распоряжение подписал премьер-министр России Дмитрий Медведев.
Директор Института системного программирования РАН, член-корреспондент РАН, заведующий базовой кафедрой "Системное программирование" НИУ ВШЭ Арутюн Аветисян дал интервью информационному агентству D-Russia."Сейчас решается вопрос нашего будущего как цивилизации".
Вторая научно-практическая Открытая конференция ИСП РАН имени Виктора Иванникова ISPRAS Open пройдет с 30 ноября по 1 Декабря 2017 г. в главном здании Российской академии наук. Ключевые темы – безопасность программного кода и технологии анализа массивов данных. В этом году конференция вошла в список научных мероприятий, поддерживаемых ведущим мировым техническим профессиональным сообществом по развитию технологий IEEE.
27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в России с 1991 года – 11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.
Завершилась защита курсовых работ и проектов студентов 3 курса образовательной программы Программная инженерия, которая проходила 20 апреля.
Директор Института системного программирования РАН, член-корреспондент РАН, заведующий базовой кафедрой "Системное программирование" НИУ ВШЭ Арутюн Аветисян дал интервью информационному агентству Rambler News Service. "Институт основывается на трех компонентах: элитарное образование, передовые исследования и связь с индустрией".
В конце декабря 2016 г. вышел номер журнала НИУ ВШЭ Higher Education in Russia and Beyond (HERB), посвященный компьютерным наукам – Computer Science: History of Emerging Discipline. В его подготовке в качестве авторов статей приняли непосредственное участие сотрудники базовой кафедры "Системное программирование".