Главная страница « Преподаватели и сотрудники «

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

Дата рождения: 24.3.1974
Место рождения: Москва
Доцент, ведущий научный сотрудник ИСП РАН.
E-mail:   

Новости
Информация
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

В 1980-1989 годах учился в Средней школе №5 г. Хотьково Московской области, в 1989-1990 годах — в Физико-математической школе №18 при МГУ, впоследствии переименованной в Специализированный учебно-научный центр МГУ. Окончил механико-математический факультет МГУ (1995), в 1995-1998 г. обучался в аспирантуре механико-математического факультета, на кафедре Высшей алгебры.

Кандидат физико-математических наук (2000 г.), тема диссертации - «Об образах полиномиальных отображений в конечных кольцах матриц», руководитель А. В. Михалев. Ученое звание – доцент по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» (2009).

С 1998 года работает в Институте системного программирования РАН, на 2014 год — в должности ведущего научного сотрудника.

С 2008 года работает на кафедре Системного программирования факультета Вычислительной математики и кибернетики МГУ в должности старшего преподавателя, с 2009 – в должности доцента.

Основные научные интересы: программная инженерия в целом, формальные методы программной инженерии, методы верификации и валидации, тестирование на основе моделей, методы анализа требований.

Основные научные результаты: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек, разработка специализированной технологии быстрого создания тестов работоспособности.

Читает специальные курсы «Технологии программирования. Компонентный подход» и «Тестирование на основе моделей». В 2003-2005 годах участвовал в чтении курса «Методы формальной спецификации программ».

Автор и соавтор около 50 научных работ, в том числе одного учебного пособия и монографии. Основные публикации:

  1. В. В. Кулямин, А. К. Петренко, А. С. Косачев, И. Б. Бурдонов. Подход UniTesK к разработке тестов. Программирование, 29(6):25–43, 2003;

  2. В. В. Кулямин. Технологии программирования. Компонентный подход. М. Интернет-университет информационных технологий — БИНОМ. Лаборатория знаний, 2007.;

  3. В. В. Кулямин. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой. Программирование, 33(3):44-72, 2007;

  4. И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. Теория соответствия для систем с блокировками и разрушением. М. ФИЗМАТЛИТ, 2008;

  5. Р. С. Зыбин, В. В. Кулямин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов. Автоматизация массового создания тестов работоспособности. Программирование, 34(6):64-80, 2008.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 16.7.2009