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

Институт системного программирования (ИСП РАН), Старший научный сотрудник
Биография

Я участвую в исследованиях, в разработке и в преподавании.

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

Но моя кандидатская диссертация посвящена свойствам многочленов в конечных матричных кольцах.

В качестве разработчика и архитектора ПО я вовлечен в создание технологии разработки тестов UniTESK и разработку поддерживающих ее инструментов.

В роли научного консультанта я участвовал в проекте OLVER, в рамках которого был разработан набор тестов для проверки соответствия стандарту Linux Standard Base.

http://panda.ispras.ru/~kuliamin/

Поделиться: