Функціональний аналіз

Технології тестування програмного забезпечення

Математична логіка і теорія алгоритмів

Методи оптимізації і дослідження операцій

Архітектура обчислюваних систем

Теорія керування