Home

ИСП РАН, главный архитектор линейки инструментов UniTesK. Научный сотрудник Института системного программирования РАН, кандидат физико-математических наук, лектор факультета ВМК МГУ (курсы «Методы формальной спецификации программ» и «Технологии программирования»).

Контакт: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript

Публикации и переводы:

• Проблемы внедрения наукоемких технологий
• Место тестирования среди методов оценки качества ПО
• Организация сложных тестовых наборов