• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Глава в книге
Исследование нефункциональных параметров различных типов при реализации путей в параметризованных графах

Бурдонов И., Евтушенко Н. В., Евтушенко Л. Г. и др.

В кн.: Новые информационные технологии в исследовании сложных структур : материалы Пятнадцатой Международной конференции, 16–20 сентября 2024 г.. Томск: Издательство Томского государственного университета, 2024. С. 12-13.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Научная деятельность

Научно-исследовательский семинар "Системное программирование"

Руководитель семинара

Аннотация

НИС "Системное программирование" - это возможность получать образование в группе, которая ежегодно отбирается Институтом Системного Программирования РАН (ИСП РАН), начиная с 3-курса и до получения диплома бакалавра (с возможность дальнейшего обучения в магистратуре), и курируется новой базовой кафедрой ИСП РАН, организованной при департаменте ПИ  ФКН с 2015-2016 учебного года.
Системное программирование - это наука о средствах производства и выполнения программ, включающая в себя несколько основных разделов, которые будут преподаваться в ИСП РАН нашим студентам (наравне со студентами МФТИ и ВМК МГУ, где тоже есть базовые кафедры ИСП РАН). Эти разделы (посвященные операционным системам, компиляторным технологиям, обработке текстов и верификации ПО) следует понимать как составные части НИС "Системное программирование". Специалисты в области системного программирования являются элитой программистского сообщества, а специалисты ИСП РАН - признанные лидеры этого научного направления в нашей стране.