РЕДЬКО Владимир Никифорович

украинский ученый, академик НАН Украины – отделение информатики (2000). Кандидат (1963), доктор (1972) физико-математических наук. Заслуженный деятель науки и техники Украины (2004). Окончил механико-математический факультет Киевского университета им. Т. Г. Шевченко (1959) и аспирантуру Института кибернетики АН СССР (1963, под руководством академика В. М. Глушкова). В 1963-1970 гг. – научный сотрудник в Институте кибернетики АН СССР. Основатель кафедры теории программирования (1971) и ее заведующий (1971-2002), профессор (с 1973), декан факультета кибернетики (1984-1987). Является членом Консультативного Совета по вопросам информатизации при Верховной Раде Украины, членом редколлегий профессиональных журналов: «Кибернетика и системный анализ», «Проблемы программирования», «Системные исследования и информационные технологии», «Вестник Киевского университета. Серия "Кибернетика"» , «Проблемы управления и информатики», а также журнала «Компьютер в школе и семье».

Автор более 160 научных, учебных и методических работ, в т. ч. 3 монографий. Внес фундаментальный вклад в развитие современной информатики. Главным научным достижением ученого является открытие универсальных дескриптивных логик. Заложил математический фундамент принципиально нового направления информатики – «програмологии». Решил проблему «Клинья» о аксиоматизации регулярной и квазирегулярных алгебр, проблему «Черча-Катленд» о полноте целочисленных вычислительных функций, проблему «Тарского» об алгебраической характеристике вычислительных функций рационального аргумента и значения, а также аналогичную проблему «Мальцева» для словарных функций. Лауреат премии им. В. М. Глушкова (1992) и Государственной премии Украины в области науки и техники (2003).