-
Кафедра информатики
(1)
Алгорифмические языки и методы построения трансляторов, автоматическое доказательство теорем и построение эффективных алгорифмов, языки искусственного интеллекта и экспертные системы.
-
Кафедра параллельных алгоритмов
(1)
Параллельные вычисления, параллельное программирование, многопроцессорные системы, вейвлеты и минимальные сплайны.
-
Кафедра системного программирования
(1)
Cистемное программирование, реализация операционных систем и трансляторов, технология программного обеспечения встроенных систем реального времени, разработка специализированных интегральных схем, программное обеспечение систем связи.
-
Кафедра информационно-аналитических систем
(1)
Методы хранения, поиска, обработки и анализа больших массивов информации.