Универсиада «Ломоносов»-2020 по прикладной математике и информатике

Критерий 7в. Победа или призёрство в олимпиаде, учебном конкурсе и т.п., Университетский уровень [7в-универ-степень]

Статья "Моделирование библиотечных функций в промышленном статическом анализаторе кода" в журнале "Труды Института системного программирования РАН", том 32, выпуск 3 (2020 год)

Критерий 8б. Публикация, Несколько авторов, Всероссийский уровень [8б-всерос]

Журнал входит в перечень рецензируемых изданий ВАК. Ссылка на статью: https://doi.org/10.15514/ISPRAS-2020-32(3)-2. Дата получения выставлена в соответствии с появлением публикации на сайте журнала "Труды Института системного программирования РАН".