В.о. завідувача відділом — Чеботарьов Анатолій Миколайович, провідний науковий співробітник, доктор технічних наук, старший науковий співробітник.  

Відділ засновано у 1963 році доктором технічних наук, професором З.Л.Рабиновичем, який очолював його до 1987 року. З 1987 по 2006 рік відділ очолював доктор технічних наук, професор В.М. Коваль. У відділі працюють 25 співробітників, серед них — три доктори та 7 кандидатів наук.

ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ

• алгоритмічні та логічні структури багатопроцесорних комп'ютерів кластерного типу;
  
• інтелектуальні засоби та системи обробки інформації;
  
• теорія та методи проектування алгоритмів функціонування реактивних систем.
  

ОСТАННІ НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ

Фундаментальні:

• розроблено теоретичні основи побудови нового класу високопродуктивних комп’ютерів із кластерною архітектурою;
  
• розроблено математичний апарат аналізу багатовимірних процесів;
  
• розроблено методики одержання нових знань у семантичних мережах;
  
• запропоновано підхід до побудови мов специфікації реактивних систем, який забезпечує компроміс між виразністю засобів специфікації та ефективністю їх обробки; 
  
• розроблено ефективний математичний апарат аналізу коректності взаємодії двох процесів;
  
• розроблено методи та мови перевірки несуперечності специфікацій на основі резолюційної процедури логічного виведення;
  
• запропоновано математичний апарат адекватного опису та вивчення різноманітних ситуацій невизначеності та їх перетворень.
  

Прикладні:

• розроблено та введено у цілодобову експлуатацію дослідні зразки комплексу суперкомп’ютера з кластерною архітектурою — СКІТ (СуперКомп’ютер для Інформаційних Технологій) зі спеціалізованими засобами збереження та доступу до великих об’ємів даних; 
  
• організовано перший в НАН України сучасний суперкомп’ютерний центр на базі СКІТ;
  
• розроблено низку квазіоптимальних методів виявлення рухомих об'єктів для розв’язання важливих оборонних завдань; 
  
• розроблено систему одержання нових знань у семантичних мережах – КОНФОР, за допомогою якої спроектовано низку нових матеріалів в Інституті матеріалознавства НАН України та розв’язано задачі діагностики та прогнозування характеристик гелікоптерного обладнання (фірма „Камов”, Росія);
  
• розроблено метод верифікації темпоральних властивостей реактивних систем.

Склад наукових працівників відділу високопродуктивних комп'ютерних  систем (№ 245)