Напрями досліджень Проекти Кластер ІК

  

Завідувач відділу - Летичевський Олександр Адольфович, академік Національної академії наук України, доктор фізико-математичних наук, професор, Заслужений діяч науки і техніки України.

 

 

Відділ засновано 1957 року академіком В.М. Глушковим, який очолював його до 1982 р. У відділі працюють 33 співробітники, серед них - академік НАН України, 2 доктори та 15 кандидатів наук. З 1982 по 2008 рік відділ очолювала Капітонова Юлія Володимирівна, професор, Заслужений діяч науки і техніки України. У 1981 році із складу відділу було виділено відділ Рекурсивних Обчислювальних Машин (РОМ), очолений доктором фізико-математичних наук О.А.Летичевським. В задачі цього відділу входила розробка теоретичних та прикладних питань системного математичного забезпечення суперкомп’ютерної макроконвейерної ЕОМ. На протязі всіх років свого існування до 2008 року відділ РОМ тісно взаємодіяв з відділом ТЦА приймаючі участь в спільних дослідженнях та розробках. У 2008 році відділ РОМ та відділ ТЦА було злито.

 

 

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

 

• прикладна теорія алгоритмів: автоматно-алгебраїчні моделі обчислювальних систем, теорія проектування обчислювальних систем, алгоритмічні мови високого рівня, паралельні обчислення;

• алгебраїчна теорія взаємодії агентів та середовищ, інерційне моделювання та їх застосування;

• алгебраїчне програмування та комп'ютерна алгебра;

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

• технології розробки надійного та ефективного програмного забезпечення;

• дослідження та розробка моделей взаємодії людини з комп'ютерним середовищем.

 

 

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

 

 

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

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

 

Прикладні:

 

• розроблено систему алгебраїчного програмування, на базі якої створено технологічні засоби верифікації систем;
• розроблено програмне середовище, що моделює взаємодію людини та комп'ютера, для обчислення параметрів стану користувача та вироблення рекомендацій щодо вдосконалення його робочого місця.
• розроблено систему інсерційного програмування для створення прикладних систем; розроблено систему верифікації вимог і специфікацій для фірми МОТОРОЛА.  8.10. 2009.

 

Склад наукових працівників відділу № 100

ПІБ	Посада	Контакти
Алєксєєв Дмитро Анатолійович	с.н.с.	a1@swt-de.com
Атдаєва Світлана Григорівна	м.н.с.	atds@ukr.net
Борисов Євген Сергійович	н.с.	icyb@mechanoid.kiev.ua
Волков Владислав Анатолійович	н.с.	vladvolkov98@yahoo.com
Герман Віталій Микалайович.	м.н.с.	novaua@ukr.net
Годлевський Олександр Богуславович	с.н.с.	a.godl49@gmail.com
Гребнев Валерій Олександрович	с.н.с.	ave@voliacable.com
Гречко Валерій Олегович	с.н.с.	ValeryG52@mail.ru
Довбиш Валентина Яківна	гол. мат.	(044) 526 00 58
Єфімова Лариса Дмитрівна	м.н.с.	larisaelf@mail.ru
Колбасін Микола Іванович	с.н.с.	nik@d100.icyb.kiev.ua
Коломейко Володимир Вікторович	с.н.с.	vla-klm@yandex.ru
Колчин Олександр Валентинович	м.н.с.	kolchinav@yahoo.com
Криковлюк Олександр Петрович	н.с.	krikOP45@gmail.com
Летичевський Олександр Адольфович	зав.від.	let@cyfra.net
Летичевський Олександр Олександрович	н.с.	letychevska@yahoo.com
Лябах Володимир Федорович	н.с.	(044) 526 00 58
Матвєєва Людмила Євгенівна	с.н.с.	mluda2008@ukr.net
Мітченко Олександр Іванович	с.н.с.	alex@alexm.carrier.kiev.ua
Мороховець Марина Костянтинівна	с.н.с.	mmk@d100.icyb.kiev.ua
Пинько Олексій Павлович	с.н.с.	pynko@ymail.com
Потієнко Степан Валерійович	п.м.	(050) 358 15 56
Сейфуллін Тимур Рустемович	с.н.с.	timur_sf@mail.ru
Філіжанко Ольга Дмитрівна	н.с.	(044) 526 22 78
Чугаїнко Олексій Васильович	м.н.с.	avch@avch.org.ua
Щоголева Наталя Миколаївна	н.с.	nat@d100.icyb.kiev.ua
Яковлєв Віктор Михайлович	п.м.	victoryakovlev@ukr.net