Афанасьев Виталий Олегович

Старший преподаватель базовой кафедры компании 1С Высшей школы бизнеса НИУ ВШЭ. Работает в университете с 2024 года. Всё образование получил в Вышке по направлению «Программная инженерия»: бакалавриат окончил в 2022 году, магистратуру — в 2024-м. Профессиональные интересы сосредоточены вокруг компиляторных технологий и статического анализа программ: анализ и трансформация кода, системное программирование, языки Kotlin, Java и Haskell.

Практика и преподавание у него связаны напрямую. С декабря 2020 года входит в команду разработки статического анализатора Svace в Институте системного программирования РАН — это инструмент промышленного поиска дефектов в исходном коде. Тот же круг задач лежит в основе его научных публикаций, поэтому материал курсов опирается на инженерную практику, а не только на учебники.

На бакалавриате направления «Бизнес-информатика» Высшей школы бизнеса читает «Введение в программирование на Java» — обязательную дисциплину первого курса объёмом 6 кредитов и 72 контактных часа, открытую для всех кампусов НИУ ВШЭ. Курс разбирает синтаксис и ключевые компоненты языка, принципы ООП, модификаторы доступа, устройство JVM, JRE и JDK, сборку мусора, Stream API и принципы проектирования SOLID; значительная часть нагрузки приходится на практические задания и самостоятельную работу. Вторая крупная дисциплина — «Алгоритмы и структуры данных» (7 кредитов, 84 контактных часа): асимптотический анализ, сортировки и порядковые статистики, хеш-таблицы, деревья поиска, теория графов, поиск кратчайших путей, остовные деревья, динамическое программирование, задачи LCA и RMQ, строковые алгоритмы.

Ведёт также «Технологии программирования» (3 кредита, 36 контактных часов, первый модуль) — вводный курс о промышленной разработке: методы отладки, архитектура ПО и нотация UML, системы контроля версий и сборки, gdb и valgrind, непрерывная интеграция, виды тестирования и управление качеством. Курс объясняет, чем различаются парадигмы программирования, какие архитектурные паттерны применяются в индустрии и на что смотреть при создании рыночного программного продукта. Кроме того, участвует в преподавании профориентационного семинара «Введение в бизнес-информатику» (4 кредита), где первокурсников знакомят с бизнес-анализом, управлением бизнес-процессами и данными, жизненным циклом информационных систем, сервисным подходом к управлению ИТ и архитектурой предприятия, а также с областями бизнеса и государственного управления, где применяются информационные технологии. Все читаемые им дисциплины входят в учебный план направления 38.03.05 «Бизнес-информатика» и относятся к первому курсу бакалавриата.

Научные работы посвящены статическому анализу кода. Среди них — статья «Kotlin с точки зрения разработчика статического анализатора» (Труды Института системного программирования РАН, 2021, том 33, № 6, с. 67–82), а также публикации «Static analysis for languages with exception handling» (2022), «Static Analysis Based on the Unified Abstract Syntax Tree» (2023) и «Static Analysis for Scala» (2024), заявленные в его профиле ORCID. Идентификаторы преподавателя: ORCID 0000-0002-8036-0633, ResearcherID LIH-1073-2024.