Програмних систем Інститут НАНУ
ПРОГРА́МНИХ СИСТЕ́М Інститут НАНУ — наукова установа, що провадить фундаментальні та прикладні дослідження у галузі програмування. Заснований 1992 у Києві на базі Спеціального конструкторсько-технологічного бюро програмного забезпечення Інституту кібернетики АНУ. У структурі — 7 відділів (автоматизованих інформаційних систем; теорії комп’ютерних обчислень; автоматизованих систем організаційного управління; проблем моделювання та надійності людино-машинних систем; автоматизованих систем програмно-цільового управління; проблем практичної інформатики; інформаційно-комунікаційних систем спеціального призначення). Основні напрями наукової діяльності: теоретичні та прикладні проблеми розроблення систем та технологій програмування, моделі і засоби програмної інженерії, проблеми оцінки і забезпечення якості, стандартизації та сертифікації програмних систем; формально-логічні основи, методи і засоби створення інтелектуальних інформаційних систем, банків даних та знань; математичні моделі, методи та програмне забезпечення для створення складних розподілених комп’ютерних систем; забезпечення розвитку інформаційної інфраструктури НАНУ. Один раз на 2 роки в Інституті проводять міжнародну науково-практичну конференцію з програмування «УкрПРОГ». Видають журнал «Проблеми програмування». Кількість працівників — 136 осіб, з них 80 наукових співробітників (1 академік НАНУ, 8 докторів і 24 кандидати наук). Серед відомих фахівців — П. Андон (1992–2021 — директор), І. Сініцин (від 2021 — директор), А. Дорошенко, Р. Григорян, С. Пашко.