Я участвую в исследованиях, в разработке и в преподавании.
Мои научные интересы на сегодняшний день - это программная инженерия в целом, обеспечение качества программ, использование формальных методов и моделей в программной инженерии и обеспечении качества ПО, тестирование на основе моделей, формальные методы в тестировании, а также - существенно неформальные аспекты и человеческий фактор в разработке ПО.
Но моя кандидатская диссертация посвящена свойствам многочленов в конечных матричных кольцах.
В качестве разработчика и архитектора ПО я вовлечен в создание технологии разработки тестов UniTESK и разработку поддерживающих ее инструментов.
В роли научного консультанта я участвовал в проекте OLVER, в рамках которого был разработан набор тестов для проверки соответствия стандарту Linux Standard Base.
| Материал подготовлен на основе информации из открытых источников |
