Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Адрес: 109028, г. Москва, Покровский бульвар, д. 11
Телефон: +7(495) 772-95-90*27297
Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).
Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.
Под науч. редакцией: Vitaly Semenov, R. J. Scherer.
CRC Press, 2021.
Vinarskii E., Демаков А. В.
Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.
Vinarskii E., Твардовский А. С., Evtushenko N. V.
In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.
Burdonov I., Kossachev A., Nina Yevtushenko et al.
arxiv.org. Computer Science. Cornell University, 2020
Комиссии оценивали качество разработки программного продукта или проведенных исследований, доклад студента, презентацию и ответы на вопросы, качество технической документации.
Преподаватели департамента программной инженерии, участвовавшие в работе комиссий по защите курсовых работ (всего в работе 8 комиссий приняли участие 18 человека) в целом высоко оценили результаты работы, проделанной студентами и их научными руководителями. Студенты специализации «Системное программирование» защищали свои курсовые работы в Институте системного программирования РАН, где их работы были оценены очень высоко. Из 12 работ только 2 получили оценки «хорошо», остальные – «отлично».
Самые высокие баллы (10 из 10) получили 6 студентов:
Агаева Камила(Проблемы создания и динамического анализа гетерогенных моделей программно-аппаратных систем, руководитель – Хорошилов А.В.)
Волков Г.Д. (Исследование методов автоматического построения контрпримеров для недоказанных условий верификации, руководитель – Петренко А.К.)
Пиликян Н.А.(Программа автоматической синхронизации данных в клиент-сервернной системе, руководитель – Гайсарян С.С.)
Путро П.А. (Исследование возможности анализа машинного кода с использованием технологии SMT решателей, руководитель – Хорошилов А.В.)
Репина А.А. (Построение иерархии аспектов по пользовательским отзывам об электронных устройствах, руководитель – Турдаков Д.Ю.)
Урнышев Е.Д.(Исследование методов автоматического морфологического анализа текстов на русском языке, руководитель – Турдаков Д.Ю.)
Поздравляем всех студентов, которые успешно защитили свои курсовые работы, и ждем в следующем учебном году таких же интересных, серьезных выпускных работ, желаем всем отличных оценок!