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

• Андон Пилип Іларіонович (1938–) (фізико-математичні науки)
• Дорошенко Анатолій Юхимович (1948–) (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"