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

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 р.

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


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

Анонс подій

16.08.2017
Склад та порядок оформлення документів стосовно службових відряджень
Бухгалтерія Київського національного університету імені Тараса Шевченка надає інформацію про склад та порядок оформлення документів стосовно службових відряджень, які заплановано за рахунок загального фонду по KПKBK 2201290 детальніше...
16.08.2017
ПОСТАНОВА КАБІНЕТУ МІНІСТРІВ УКРАЇНИ № 541 від 19.07.2017 р.
Положення про Національний репозитарій академічних текстів детальніше...
16.08.2017
Наказ МОН України від 02.08.2017 №1110
Про затвердження Порядку забезпечення доступу вищих навчальних закладів і наукових установ, що знаходяться у сфері управління Міністерства освіти і науки України детальніше...
14.08.2017
Перші ластівки активізації виставкової діяльності Університету
Активна виставкова діяльність Університету, якою опікується апарат Науково-дослідної частини, вже дає фінансові результати. Одним з таких результатів є укладання договору між Університетом та ТОВ «НВЦ «Інфозахист» на створення першого бюджетного вітчизняного лазерного допплерівського віб... детальніше...
11.08.2017
Публікаційна активність співробітників Університету
У розділі "Оцінювання наукової роботи" - http://science.univ.kiev.ua/research/analytics/ опубліковані списки по публікаційній активності співробітників Університету, для ознайомлення.
детальніше...
04.08.2017
Наказ МОН України від 31.07.2017 № 1104 "Про затвердження експертних оцінок проектів фундаментальних і прикладних досліджень та науково-технічних (експериментальних) розробок"
детальніше...
Всі події