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

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

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

  1. «Системы программирования», 1 поток 2 курс, ВМК МГУ.
  2. «Формальные языки и автоматы», 2 курс, ПИ, ФКН ВШЭ.

Руководство диссертациями:

  1. «Исследование и разработка методов поиска уязвимостей в программах на C и C++ на основе статического анализа помеченных данных», Шимчик Никита Владимирович, кандидат технических наук, 2024.

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

  1. НКР «Поиск ошибок в исходном коде по шаблонам предыдущих правок и генерация кода для их исправления с помощью методов машинного обучения.» Корябкин Д.А., 2024.
  2. «Повышение масштабируемости анализа помеченных данных для программ на языке C#» Рагозина П.И., 2024.
  3. «Разработка методов повышения точности и масштабируемости межмодульного статического анализа помеченных данных исходного кода на языках C/C++», Чибисов Д.А., 2024.
  4. «Повышение точности моделирования библиотечных функций в статическом анализаторе исходного кода». Биктимиров М.Г, 2024.
  5. «Статическая проверка контрактов в исходном коде программ на языке C#», Ильичев Д.С., 2023.
  6. «Поиск ошибок синхронизации в программах на языке С# методами статического анализа», Рагозина П.И., 2023.
  7. «Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа», Тяжкороб У.В., 2023.
  8. «Анализ неизменных полей класса и динамическая конфигурация детекторов в SharpChecker», Карцев В.С., 2023.
  9. «Моделирование библиотечных функций в статическом анализаторе путём декомпиляции бинарных файлов библиотек и анализа их исходного кода», Романенков Е.С.

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

  1. V. N. Ignatyev; N. V. Shimchik; D. D. Panov; A. A. Mitrofanov — «Large language models in source code static analysis». — В: 2024 Ivannikov Memorial Workshop (IVMEM). — IEEE. 2024, — С. 28—35.
  2. U.V. Tsiazhkorob и V.N. Ignatyev. — «Classification of Static Analyzer Warnings using Machine Learning Methods». — В: 2024 Ivannikov Memorial Workshop (IVMEM). — IEEE. 2024, — С. 69—74.
  3. V.S. Karcev и V.N.Ignatyev — «Support of Visual Basic. NET in SharpChecker static analyzer». — В: Труды института системного программирования РАН 36.3 (2024), с. 49—62.
  4. Н.В. Шимчик, В.Н. Игнатьев и А.А. Белеванцев. — «Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++». — В: Труды Института системного программирования РАН 34.6 (2023), с. 51—66.
  5. M.G. Biktimirov, V.N. Ignatyev и M.V. Belyaev. — «Improving the accuracy of library function modeling in the static analyzer». — В: 2023 Ivannikov Ispras Open Conference (ISPRAS). — IEEE. 2023, — С. 26—32.
  6. D.A. Chibisov, N.V. Shimchik и V.N. Ignatyev. — «Improving Scalability of Intermodule Source Code Static Taint Analysis». — В: 2023 Ivannikov Ispras Open Conference (ISPRAS). — IEEE. 2023.
  7. D. Koryabkin и V. Ignatyev. — «Automatic Mining of Code Fix Patterns from Code Repositories». — В: 2022 Ivannikov Memorial Workshop (IVMEM). — IEEE. 2022, — С. 27—34.
  8. П.И. Рагозина и В.Н. Игнатьев. — «Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа». — В: Труды Института системного программирования РАН 34.4 (2022), с. 63—78.
  9. У.В. Тяжкороб, В.Н. Игнатьев и А.А. Белеванцев. — «Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа». —В: Труды Института системного программирования РАН 34.6 (2022), с. 41—50.
  10. В.С. Карцев и В.Н. Игнатьев. — «Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение». — В: Труды Института системного программирования РАН 34.6 (2022), с. 29—40.