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

Параллельные вычисления, параллельное программирование, многопроцессорные системы, вейвлеты и минимальные сплайны.

Cистемное программирование, реализация операционных систем и трансляторов, технология программного обеспечения встроенных систем реального времени, разработка специализированных интегральных схем, программное обеспечение систем связи.

Методы хранения, поиска, обработки и анализа  больших массивов информации.