Образование и ученая степень: ВМК МГУ, кандидат физико-математических наук (2015 г.).

Область научных интересов: статический анализ программ, компиляторы, машинное обучение.

Преподавание учебных курсов:

  1. «Формальные языки и автоматы» для 3 потока 3 курса ВМК МГУ.

Руководство дипломными работами за последние три года:

  1. «Повышение точности анализа помеченных данных для поиска ошибок безопасности в программах на Си и Си++ с помощью символьных вычислений», Корябкин Д.А, 2020 г.
  2. «Моделирование библиотечных функций в статическом анализаторе при помощи предварительного анализа исходного кода этих функций», Романенков Е.С., 2020 г.
  3. «Поиск ошибок в исходном коде программ с использованием методов машинного обучения», Моргачев Г.И., 2019 г.
  4. «Автоматическая проверка правил безопасности в исходном коде программ на языке C# на основе методов статического анализа», Беляев М.В., 2018 г.
  5. «Разработка и реализация методов межпроцедурного анализа псевдонимов для статического отслеживания помеченных данных в программах на языках C и С++», Корябкин Д.А., 2018 г.

Публикации за последние три года:

  1. Поиск уязвимостей при помощи статического анализа помеченных данных. Шимчик Н.В., Игнатьев В.Н. в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 3, с. 177-190.
  2. Comparative Analysis of Two Approaches to Static Taint Analysis. Belyaev M.V., Shimchik N.V., Ignatyev V.N., Belevantsev A.A. в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 44, № 6, с. 459-466.
  3. SharpChecker: Static analysis tool for C# programs. Koshelev V.K., Ignatiev V.N., Borzilov A.I., Belevantsev A.A  в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 4, с. 268-276 DOI.
  4. Design and Development of Svace Static Analyzers. Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Dmitry Zhurikhin в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 3-9.
  5. Vulnerabilities Detection via Static Taint Analysis. Valery IgnatyevNikita Shimchik Spring/Summer Young Researchers’ Colloquium on Software Engineering – 2019, Саратов, Россия, 29-31 мая 2019.
  6. Detection of Variable Misuse Using Static Analysis Combined with Machine Learning. Morgachev G., Ignatyev V., Belevantsev A. //2019 Ivannikov Ispras Open Conference (ISPRAS). – IEEE, 2019. – С. 16-24.