
Образование и ученая степень: ВМК МГУ, кандидат физико-математических наук (2015 г.).
Область научных интересов: статический анализ программ, компиляторы, машинное обучение.
Преподавание учебных курсов:
- «Системы программирования», 1 поток 2 курс, ВМК МГУ.
- «Формальные языки и автоматы», 2 курс, ПИ, ФКН ВШЭ.
Руководство диссертациями:
- «Исследование и разработка методов поиска уязвимостей в программах на C и C++ на основе статического анализа помеченных данных», Шимчик Никита Владимирович, кандидат технических наук, 2024.
Руководство дипломными работами за последние три года:
- НКР «Поиск ошибок в исходном коде по шаблонам предыдущих правок и генерация кода для их исправления с помощью методов машинного обучения.» Корябкин Д.А., 2024.
- «Повышение масштабируемости анализа помеченных данных для программ на языке C#» Рагозина П.И., 2024.
- «Разработка методов повышения точности и масштабируемости межмодульного статического анализа помеченных данных исходного кода на языках C/C++», Чибисов Д.А., 2024.
- «Повышение точности моделирования библиотечных функций в статическом анализаторе исходного кода». Биктимиров М.Г, 2024.
- «Статическая проверка контрактов в исходном коде программ на языке C#», Ильичев Д.С., 2023.
- «Поиск ошибок синхронизации в программах на языке С# методами статического анализа», Рагозина П.И., 2023.
- «Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа», Тяжкороб У.В., 2023.
- «Анализ неизменных полей класса и динамическая конфигурация детекторов в SharpChecker», Карцев В.С., 2023.
- «Моделирование библиотечных функций в статическом анализаторе путём декомпиляции бинарных файлов библиотек и анализа их исходного кода», Романенков Е.С.
Публикации за последние три года:
- 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.
- U.V. Tsiazhkorob и V.N. Ignatyev. — «Classification of Static Analyzer Warnings using Machine Learning Methods». — В: 2024 Ivannikov Memorial Workshop (IVMEM). — IEEE. 2024, — С. 69—74.
- V.S. Karcev и V.N.Ignatyev — «Support of Visual Basic. NET in SharpChecker static analyzer». — В: Труды института системного программирования РАН 36.3 (2024), с. 49—62.
- Н.В. Шимчик, В.Н. Игнатьев и А.А. Белеванцев. — «Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++». — В: Труды Института системного программирования РАН 34.6 (2023), с. 51—66.
- 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.
- 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.
- D. Koryabkin и V. Ignatyev. — «Automatic Mining of Code Fix Patterns from Code Repositories». — В: 2022 Ivannikov Memorial Workshop (IVMEM). — IEEE. 2022, — С. 27—34.
- П.И. Рагозина и В.Н. Игнатьев. — «Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа». — В: Труды Института системного программирования РАН 34.4 (2022), с. 63—78.
- У.В. Тяжкороб, В.Н. Игнатьев и А.А. Белеванцев. — «Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа». —В: Труды Института системного программирования РАН 34.6 (2022), с. 41—50.
- В.С. Карцев и В.Н. Игнатьев. — «Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение». — В: Труды Института системного программирования РАН 34.6 (2022), с. 29—40.