"Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения".
