Кулямин Виктор Вячеславович

Доцент базовой кафедры «Системное программирование» Института системного программирования им. В.П. Иванникова РАН на факультете компьютерных наук НИУ ВШЭ, кандидат физико-математических наук; учёное звание доцента присвоено в 2009 году. Окончил МГУ им. М.В. Ломоносова в 1995 году по специальности «Математика, прикладная математика» с квалификацией «Математик», кандидатскую диссертацию защитил в 2000 году. В Вышке преподаёт с 2015 года, общий научно-педагогический стаж — 26 лет.

Читает обязательный курс «Обеспечение качества и тестирование» для третьего курса бакалавриата направления 09.03.04 «Программная инженерия» — 4 кредита и 60 контактных часов. Программа охватывает основные проблемы проверки качества сложных программных систем и методы верификации ПО: классические техники построения тестов на конечных автоматах и комбинаторных схемах, интегрирующие подходы для систем реальной сложности, организацию тестовых наборов, понятие и критерии полноты тестирования. На практических занятиях студенты анализируют требования к ПО, осваивают инспекцию кода и разработку тестов для простых функций, систем с состояниями и приложений с пользовательским интерфейсом, включая веб-приложения. Отдельный блок посвящён тестированию на основе формальных моделей — области на границе теоретической информатики и программной инженерии.

С 1998 года работает в Институте системного программирования РАН, где к 2014 году занимал должность ведущего научного сотрудника. С 2008 года преподавал на кафедре системного программирования факультета вычислительной математики и кибернетики МГУ — сначала старшим преподавателем, с 2009 года доцентом. Профессиональные интересы — программная инженерия, формальные методы программной инженерии, методы верификации и валидации.

Один из разработчиков технологии UniTESK — подхода к разработке тестовых наборов на основе формальных спецификаций. Этой линии посвящены работы «UniTesK Test Suite Architecture» (2002), «The UniTesK Approach to Designing Test Suites» (Programming and Computer Software, 2003) и «Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software» (2005). Другое многолетнее направление — верификация моделей безопасности операционных систем: в 2019 году вышла книга «Моделирование и верификация политик безопасности управления доступом в операционных системах», ей предшествовали статья «Formal Verification of OS Security Model with Alloy and Event-B» (Lecture Notes in Computer Science, 2014, в соавторстве с П. Девяниным, А. Хорошиловым, А. Петренко и Д. Щепетковым) и работа «Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System» (2020) об интеграции мандатного и ролевого управления доступом.

Занимался также стандартизацией и тестированием реализаций математических функций в числах с плавающей точкой — этой теме посвящены статьи в Programming and Computer Software (2007) и в Lecture Notes in Computer Science (2008, 2010). Ему принадлежат обзор методов построения покрывающих массивов (Programming and Computer Software, 2011), работа «Integration of Verification Methods for Program Systems» (2009), статья «Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions» (Electronic Notes in Theoretical Computer Science, 2006) и исследования по алгоритмам обхода ориентированных графов, включая недетерминированный случай. Среди недавних публикаций — обзор методов динамического анализа программ «A Survey of Software Dynamic Analysis Methods» (2024), статья «Конструирование программных систем, нацеленное на обеспечение безопасности» (2024) и работа «Runtime Verification of Operating Systems Based on Abstract Models» (2023).