• 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

Сотрудники ИСП РАН победили в конкурсе на получение стипендии Президента РФ молодым учёным и аспирантам

Сотрудники ИСП РАН им. В.П. Иванникова победили в конкурсе 2019-2021 на получение стипендии Президента РФ молодым учёным и аспирантам по направлению «Стратегические информационные технологии, включая вопросы создания суперкомпьютеров и разработки программного обеспечения».
Соответствующее решение принял Совет по грантам. Стипендию будут получать: 
  • Игнатьев Валерий Николаевич (СП-3643.2019.5, «Применение методов машинного обучения для поиска алгоритмических ошибок и уязвимостей в исходном коде программ»); 
  • Новиков Евгений Михайлович (СП-3493.2019.5, «Развитие методов и инструментов автоматической верификации крупных программных систем ответственного назначения»). 
В целом победителями по данному направлению стали 79 учёных, представляющих разные вузы России: «Национальный исследовательский центр «Курчатовский институт», «Санкт-Петербургский государственный университет», «Сибирский федеральный университет», «Московский физико-технический институт (национальный исследовательский университет)» и др.