Лаборатория искусственного интеллекта Технологии интеллектуального анализа текстов Лаборатория информационных систем Электронный архив академика Андрея Петровича Ершова (1931-1988) Лаборатория смешанных вычислений Микс-Простор – система прогнозирования развития транспортной сети (совместно с ИЭиОПП СО РАН) Методы и средства декомпозиции булевых функций для задач синтеза логических схем микроэлектроники Лаборатория системного программирования Технология автоматного программирования для разработки систем управления Лаборатория теоретического программирования Лаборатория теории параллельных процессов – Формальные методы для верификации гибридных систем
