|
Редько Володимир Никифорович
Редько Володимир Никифорович (12 квітня 1937), Київ — академік НАН України, доктор фізико-математичних наук, професор, Заслужений діяч науки і техніки України. БіографіяНародився 12 квітня 1937 року у місті Київ. У 1959 р. закінчив механіко-математичний факультет Київського державного університету імені Т. Г. Шевченка, захистивши дипломну роботу на тему «Нильпотентные алгебры конечных абелевых групп» під керівництвом професора Льва Калужніна У 1963–1970 рр. працював науковим співробітником у Інститут кібернетики Академії наук СРСР. Під керівництвом академіка В. М. Глушкова у 1963 р. закінчив аспірантуру та захистив кандидатську дисертацію (тема «Некоторые вопросы теории коммутативных автоматов», спеціальність «Математична кібернетика»), у 1970 р. — докторську (тема «Параметрические системы программирования», спеціальність «Математична логіка і програмування»). В 1971 р. Редько В. Н. заснував кафедру теорії програмування в університеті та завідував нею до квітня 2002 р.; професор кафедри теорії програмування з 1973 р.; декан факультету кібернетики в 1984–1987 рр. За час роботи в університеті з 1971 р. Редько В. Н. розробив 5 нормативних та 16 спеціальних курсів. В останні роки Редько В. Н. читає нормативні курси «Теорія програмування», «Теоретичні основи програмування», спеціальні курси «Основи процесології», «Програмні логіки», «Проблеми програмології», «Основи програмології», веде наукові семінари «Програмологія та її застосування», «Логіки програмування». На запрошення прочитав курс лекцій «Дескриптивні структури інформатики» у Лейпцизькому університеті (1994 р.). Професор Редько В. Н. — відомий вчений, який вніс фундаментальний вклад у розвиток сучасної інформатики. Головним науковим досягненням В. Н. Редька є відкриття універсальних дескриптивних логік. Цим був закладений логіко-математичний фундамент принципово нового напрямку інформатики — програмології, що інтенсивно розвивається як у нашій країні, так і за кордоном. Наукові результати В. Н. Редька, що склали фундамент програмології, увійшли до багатьох монографій та підручників вітчизняних та іноземних авторів. На ниві програмології та її застосувань сформувалася міцна фундаментально-наукова школа світового рівня «Програмологія та її застосування», заснована у 1971 р. Головним напрямком наукових досліджень школи є експлікативне програмування — теорія дескриптивних та декларативних програмних алгеброїдів (алгебраїчних структур, які виступають формальними та адекватними моделями структур даних, програм та засобів конструювання програм). Редько В. Н. підготував 39 кандидатів та 5 докторів наук. Доктори науки
Наукова діяльністьПрофесор Редько В. Н. — відомий вчений, який вніс фундаментальний вклад у розвиток сучасної інформатики. Головним науковим досягненням В. Н. Редька є відкриття універсальних дескриптивних логік. Цим був закладений логіко-математичний фундамент принципово нового напрямку інформатики — програмології, що інтенсивно розвивається як у нашій країні, так і за кордоном. Наукові результати В. Н. Редька, що склали фундамент програмології, увійшли до багатьох монографій та підручників вітчизняних та іноземних авторів. На ниві програмології та її застосувань виросла міцна фундаментально-наукова школа світового рівня «Програмологія та її застосування», заснована у 1971 р. Головним напрямком наукових досліджень школи є експлікативне програмування — теорія дескриптивних та декларативних програмних алгеброїдів (алгебраїчних структур, які виступають формальними та адекватними моделями структур даних, програм та засобів конструювання програм). Для цих структур вирішені основні класичні проблеми існування, однозначності та ефективного завдання. Вирішення цих проблем закладає основу нового напрямку інформатики — програмології — науки про програми та логіку програмування. В рамках цього напрямку вдалося дати повне вирішення сукупності проблем, які мають фундаментальне значення для шляхів подальшого розвитку інформатики:
Редько В. Н. є автором понад 160 наукових, навчальних та методичних праць. Серед них три монографії, які вийшли у видавництвах «Либідь» (Київ, 1992 р.), «Наукова думка» (Київ, 1992 р.) та «Академперіодика» (Київ, 2001 р.). У 1992 р. він був обраний членом-кореспондентом Національної Академії Наук України з спеціальності «Автоматизовані системи», а в 2000 р. — академіком за спеціальністю «Інформаційні системи» відділення інформатики. За час роботи в університеті Редько В. Н. був науковим керівником 11 держбюджетних тем та 15 госпдоговірних робіт (загальний об‘єм фінансування — 119.474 тис. грн; 1158 тис. крб). В теперішній час він є науковим керівником держбюджетної теми № 06БФ015-05 « Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів» та її підрозділу «Теорія експлікативних програмних логік (алгебр) та її застосування до еталонування мов сучасних СУБД та CASE-засобів» (комплексна наукова програма КНУ «Інформатизація суспільства»). ВідзнакиЗа плідну наукову та педагогічну діяльність Редько В. Н. нагороджений ювілейною медаллю «За доблестный труд. В ознаменование 100-летия со дня рождения Владимира Ильича Ленина» Президії Верховної Ради СРСР (1970 р.), знаком «Победитель социалистического соревнования 1976 года» міністерства вищої та середньої спеціальної освіти СРСР та ЦК профспілки працівників освіти, вищої школи та наукових закладів (1977 р.), нагрудним знаком «За отличные успехи в работе» міністерства вищої та середньої спеціальної освіти СРСР, медаллю «В память 1500-летия Киева» Президії Верховної Ради СРСР (1982 р.), орденом Дружби народів СРСР (1984 р.), нагрудним знаком «За досягнення» міністерства України у справах науки і технологій" (1999 р.), Почесною Грамотою за особливо видатні заслуги перед Київським національним університетом імені Тараса Шевченка (2002 р.). Редько В. Н. лауреат премії імені В. М. Глушкова Президії Академії Наук України за цикл робіт з теорії та реалізації нових інформаційних технологій (1992 р.) та лауреат Державної премії України в галузі науки і техніки за цикл робіт з теоретичних основ та інструментальних засобів розробки програмного забезпечення інформаційних технологій (2003 р.). В 2002 р. Редько В. Н. був удостоєний почесного звання «Заслужений професор» Київського національного університету імені Тараса Шевченка, в 2004 р. — почесного звання «Заслужений діяч науки і техніки України». Педагогічна діяльністьЗа час роботи в університеті з 1971 р. Редько В. Н. розробив 5 нормативних курсів:
Редько В. Н. розробив також 16 спеціальних курсів:
В останні навчальні роки Редько В. Н. читає нормативні курси «Теорія програмування», «Теоретичні основи програмування», спеціальні курси «Основи процесології», «Програмні логіки», «Проблеми програмології», «Основи програмології», веде наукові семінари «Програмологія та її застосування», «Логіки програмування». На запрошення прочитав курс лекцій «Дескриптивні структури інформатики» у Лейпцизькому університеті (1994 р.). Редько В. Н. є автором понад 160 наукових, навчальних та методичних праць. Серед них один навчальний посібник з грифом міністерства вищої та середньої спеціальної освіти УРСР (Київ, 1989 р.), три навчальних посібника університетського видання (1981 р., 1999 р.). У 1996 р. він був обраний академіком Вищої Школи України по відділенню інформатики, прикладної математики та обчислювальної техніки. У 1997 р. професор Редько В. Н. отримав грант Соросовського професора. Редько В. Н. підготував 39 кандидатів та 5 докторів наук. Серед них кандидати наук Зайферт Франц Дітер (НДР), Пастор Франтішек (Чехословаччина), Дінь Мань Тионг (В‘єтнам), Мітра Індрані (Індія), Хайдар Мохамад та Дрібаті Мухамед (Сирія), а також доктор наук Гудак Штефан (Словаччина). В поточний час він є науковим керівником 1 аспіранта. Науково-організаційна роботаВ 1971 р. Редько В. Н. заснував кафедру теорії програмування у університеті (зараз кафедра теорії та технології програмування, завідувач кафедри — учень В. Н. Редька професор Микола Нікітченко) та завідував нею до квітня 2002 р.; професор кафедри теорії програмування з 1973 р.; декан факультету кібернетики в 1984–1987 рр. Він був ініціатором створення і науковим керівником науково-дослідної лабораторії проблем програмування в структурі науково-дослідної частини університету (наказ ректора університету від 18.05.83 № 335 «О»). Він двічі був головою експертної ради з інформатики та кібернетики ВАК України (Постанова Президії ВАК України від 29.11.2000 р. № 01-77-07/1867); є головою комісії з інформатики міністерства освіти і науки України (наказ від 25.09.2000 р. № 466), членом науково-технічної ради державного комітету з питань зв'язку та інформатизації, членом Консультативної Ради з питань інформатизації при Верховній Раді України, членом редколегій фахових (за переліками ВАК України) журналів «Кибернетика и системный анализ», «Проблемы программирования», «Системні дослідження та інформаційні технології», "Вісник Київського університету. Серія «Кібернетика», «Проблемы управления и информатики», а також журналу «Комп'ютер в школі та сім'ї». Редько В. Н. є членом спеціалізованих вчених рад з присудження наукових ступенів кандидата і доктора наук при Київському національному університеті імені Тараса Шевченка та Київському національному технічному університеті «Київський політехнічний інститут». Виступає членом програмних комітетів міжнародних науково-практичних конференцій з програмування. Діяльність професора Редька В. Н. завжди сприяла і сприяє іміджу Київського національного університету імені Тараса Шевченка, як центру високоякісної освіти та фундаментальної науки. В даний час він продовжує плідно працювати з студентами та аспірантами, друкується у фахових журналах з проблематики програмування, бере активну участь у міжнародних конференціях. Наукові праціВибрані праці (друковані версії)
|
||||||||||||||||||||||||||||||||||
