Институт занимается образованием, фундаментальными и прикладными исследованиями.
Основные направления:
-Адаптивное управление, моделирование нервных систем;
-Анализ и верификация программ, обратная инженерия;
-Параллельное и распределенное программирование, компиляторы;
-Дискретная математика и численный анализ.