Игнатьев Валерий Николаевич
- Приглашенный преподаватель:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начал работать в НИУ ВШЭ в 2024 году.
Учебные курсы (2023/2024 уч. год)
- Формальные языки и автоматы (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
Формальные языки и трансляции (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
Публикации1
Статья Шимчик Н. В., Игнатьев В. Н., Белеванцев А. А. Improving Accuracy and Completeness of Source Code Static Taint Analysis // Ivannikov ISPRAS Open Conference (ISPRAS). 2021. P. 61-68. doi