Виктор Кулямин

Avatar1

Виктор Кулямин, ведущий научный сотрудник ИСП РАН.
Окончил мехмат МГУ в 1995 г. Кандидат физико-математических наук, доцент по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Имеет около 80 опубликованных научных работ. Работает в ИСП РАН с 1998 г. Основные интересы: методы формальной верификации программного обеспечения, методы тестирования на основе формальных моделей.

Организаторы

При поддержке