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