Програмологія та її застосування

1. Назва наукової школи: «Програмологія та її застосування».

2. Дійсний науковий керівник школи: академік НАН України В.Н.Редько.

3. Дата і місце заснування: 1971 рік, кафедра теорії програмування факультету кібернетики Київського національного університету імені Тараса Шевченка.

4. Засновник наукової школи: академік НАН України В.Н. Редько.

5. Науковий потенціал (не менше 5 докторів наук, не менше 10 кандидатів наук (штатні працівники університету або сумісники на 01.09.2013 р.).

№ п/п

Прізвище, ім’я,

по-батькові

Дата народження

Науковий

ступінь

Вчене звання

Посада

1.

Редько Володимир Никифорович

12.04.1937

д.ф.-м.н.

професор

професор

2.

Нікітченко Микола Степанович

27. 04.1951

д.ф.-м.н.

професор

зав. кафедри

3.

Буй Дмитро Борисович

10.08.1958

д.ф.-м.н.

професор

професор

4.

Гудак Штефан

25.08.1939

д.ф.-м.н.

професор

професор

5.

Редько Ігор Володимирович

05.02.1963

д.ф.-м.н.

професор

професор

6.

Шкільняк Степан Степанович

24.05.1951

д.ф.-м.н.

доцент

професор

7.

Зубенко Віталій Володимирович

12.09.1952

к.ф.-м.н.

доцент

доцент

8.

Бойко Борис Іванович

11.04.1947

к.ф.-м.н.

доцент

доцент

9.

Кузенко Володимир Федорович

12.11.1948

к.ф.-м.н.

доцент

доцент

10.

Волохов Віктор Миколайович

23.03.1953

к.ф.-м.н.

доцент

доцент

11.

Сільвейструк Людмила Миколаївна

16.12.1980

к.ф.-м.н.

-

науковий співробітник

12.

Поляков Сергій Анатолійович

29.11.1962

к.ф.-м.н.

-

науковий співробітник

13.

Гришко Юлія Александрова

27.10.1987

к.ф.-м.н.

-

асистент

14.

Парфірова Тетяна Володимирівна

08.10.1984

к.ф.-м.н.

-

науковий співробітник

15.

Шкільняк Оксана Степанівна

16.12.1984

к.ф.-м.н.

-

асистент

16.

Панченко Тарас Володимирович

05.06.1978

к.ф.-м.н.

доцент

доцент

17.

Омельчук Людмила Леонідівна

28.03.1977

к.ф.-м.н.

доцент

доцент

18.

Брона Юлія Йосипівна

12.07.1967

к.ф.-м.н.

-

програміст-developer

19.

Вінник Вадим Юрійович

12.03.1977

к.ф.-м.н.

доцент

програміст, team-leader

20.

Сенченко Олексій Сергійович

11.12.1976

к.ф.-м.н.

доцент

докторант

6. Сучасний стан наукової школи. Популярність наукової школи. Основними напрямами наукових досліджень є композиційне програмування та його сучасні варіанти (експлікативне та номінативно-композиційне програмування): теорії дескриптивних та декларативних програмних алгебраїчних структур, які виступають формальними та адекватними моделями структур даних, програм та засобів їх конструювання; теорія композиційно-номінативних логік, орієнтованих на моделювання предметних областей та специфікацію програмних систем; теорія баз даних та знань; теорія абстрактної обчислюваності; розробка наукомістких інформаційних технологій та систем різноманітного призначення. Учнями школи захищено 55 кандидатських дисертацій, 5 – докторських. Щорічно 15-20 студентів та 3-5 аспірантів є випускниками наукової школи. Серед них вихованці з Німеччини, Чехії, Словаччини, Індії та В‘єтнаму. Практичним втіленням наукових результатів були параметричні системи програмування, комплекси дефініторного процесування, системи композиційного автоматизованого синтезу, адаптивні інформаційно-аналітичні системи, системи інформаційно-лінгвістичного забезпечення баз знань. Наукові досягнення школи втілені в нові нормативні та спеціальні курси: теоретичні основи програмування, програмні логіки, програмні дефінітори та дефініторні процесори, основи дескриптології, дескриптологічна програмологія, математична логіка і теорія алгоритмів, теорія формальних граматик, теорія аплікативних систем, λ-числення. Наукові здобутки школи було оцінено Державною премією України в галузі науки і техніки (Нікітченко М.С., Редько В.Н., 2003), професор В.Н.Редько є академіком НАН України (2000), лауреатом премії ім. В.М. Глушкова НАН України (1992), має почесні звання “Заслужений діяч науки і техніки України” та “Заслужений професор Київського національного університету імені Тараса Шевченка”.

7. Місце у світовій науці. Школа світового рівня.

8. Міжнародні зв’язки. Виконувались міжнародні проекти "Моделі інтероперабельних баз даних" INTAS № 94-1817 спільно з Інститутом INSI (Darmshtadt, Німеччина), Версальським ун-том (Париж) та Інститутом прикладної інформатики РАН (проект INFOSEM), підтримуються наукові зв‘язки з Кошицьким технічним університетом (Словацька республіка), університетом м. Тулуза (Французька республіка), університетом м. Цюріх (інститут обчислювальної лінгвістики, Швейцарська Конфедерація).

Затверджено Вченою радою факультету кібернетики 16 вересня 2013 р.

Декан факультету А.В.Анісімов


Повернутися до списку

Анонс подій

12.01.2017
Засідання Вченої ради
16.01.2017 року о 10:00 в аудиторії 329 Головного корпусу Університету відбудеться засідання Вченої ради, на якому розглядатиметься питання «Про підсумки науково-дослідницької роботи в Київському національному університеті імені Тараса Шевченка у 2016 році та завдання щодо підвищення її ефективності»... детальніше...
30.12.2016
Вітаємо вас з Новим Роком та Різдвом Христовим!
детальніше...
13.12.2016
Розпорядження №159 від 12.12.2016 р.
Про внесення змін до розпорядження №141 від 23.11.2016 р. "Про підготовку та прийняття звітів з науково-дослідницької роботи" детальніше...
06.12.2016
Онлайн-семінари по роботі з платформою Web of Science (оновлено)
Наукова бібліотека рекомендує Вам взяти участь у черговій серії онлайн-семінарів по роботі з платформою Web of Science та іншими ресурсами для наукової діяльності, яка відбуватиметься в період з 7 по 9 грудня 2016 року детальніше...
02.12.2016
Проведення повірки засобів вимірювальної техніки
01 грудня 2016 року між Київським національним університетом імені Тараса Шевченка і ДП «Укрметртестстандарт» укладено договір №41-00704/16-К про проведення повірки засобів вимірювальної техніки. 
детальніше...
30.11.2016
Інформаційні семінари "Горизонт 2020. Дії Марії Кюрі: умови участі та фінансування"

28 та 29 листопада 2016 року в місті Дніпро на базі Департаменту освіти та науки Дніпропетровської державної адміністрації, Українського державного хіміко-технологічного університету, Дніпропетровського державного аграрно-економічного університету та Університету митної справи та фінансів було проведено...

детальніше...
Всі події