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