Методы и алгоритмы оптимизации схем для САПР заказных цифровых КМОП СБИС, концептуальное проектирование, проектирование управляющих систем, Государственная премия. Ключевые слова системы автоматизации проектирования, теория графов, концептуальное проектирование, проектирование управляющих систем, формальная логика