к. т. н., старший научный сотрудник лаборатории "Логического проектирования" ОИПИ НАН Беларуси.