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

· Алгоритмы декомпозиции: теоретические работы и эффективные алгоритмы в области декомпозиции булевых функций, автоматов, систем на всех уровнях проектирования, а также декомпозиция синхронных и асинхронных систем

· Объединение синтеза, размещения и трассировки: разработка эффективных методов проектирования, допускающих дополнительную оптимизацию по многим критериям за счет взаимодействия между смежными этапами проектирования

· Анализ и синтез систем синхронизации: разработка методов анализа и синтеза систем синхронизации отдельных подсистем в СБИС, анализ и синтез асинхронных систем и асинхронных взаимодействий различных подсистем, управление взаимодействием с внешней средой, разработка специализированных языков в этой области

· Оптимизационные алгоритмы: новые теоретические разработки или эффективное комбинирование известных логических или численных методов оптимизации, ориентированных на CAD в области схемотехники СБИС и системотехники.

· Алгоритмы на графах: разбиение, кластеризация, клики, раскраска, выделение иерархии и другие алгоритмы на графах, ориентированные на CAD.

· Размещение и трассировка: разработка новых методов и эффективных алгоритмов для размещения стандартных элементов и схем и трассировки соединительных связей с учетом технологических, надежностных и физических характеристик логических элементов

· Временной анализ и верификация на физическом уровне: разработка эффективных методов и алгоритмов точного временного, электрического и теплового анализа логических схем и систем на уровне физики полупроводниковых приборов в условиях нанотехнологии

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

· Разработка новых программных комплексов для автоматизированного проектирования цифровых СБИС высокой степени интеграции

· Методологические проблемы подготовки специалистов по новым технологиям проектирования