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

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

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


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

Анонс подій

24.01.2022
Витяг з указу Президента України про відзначення державними нагородами України з нагоди Дня Соборності України
  УКАЗ ПРЕЗИДЕНТА УКРАЇНИ №27/2022 від 22 січня 2022 року
Про відзначення державними нагородами України з нагоди Дня Соборності України
За значний особистий внесок у державне будівництво, соціально-економічний, науково-технічний, культурно-освітній розвиток Української держави, зміцнення міжнародного... детальніше...
19.01.2022
"Горизонт Європа" для науковців Університету, вебінар 20 січня 2022 року о 16:00
20 січня 2022 року о 16:00 сектор проєктної діяльності НДЧ Університету проведе вебінар з увагою на рамкову програму Горизонт Європа для науковців університету. детальніше...
11.01.2022
Стартував конкурс українсько-ізраїльських науково-дослідних проєктів на 2022-2023 роки
З 11 січня до 15 березня 2022 року Міністерство освіти і науки України та Міністерство інновацій, науки і технологій Держави Ізраїль оголошують конкурс спільних науково-дослідних проєктів на 2022-2023 роки.
детальніше...
11.01.2022
14 січня 2022 року о 15:00 вебінар "Горизонт Європа. Як подати проєктну заявку"
Спікер: Іван Кульчицький, Президент ГО Агенція Європейських Інновацій,  керівник НКП “Інформаційні та комунікаційні технології”. В ході заходу будуть представлені основні формальні процедури підготовки і подання проєктної заявки на конкурси програми Горизонт Європа. детальніше...
31.12.2021
Про затвердження переліків проєктів МОН України на 2022 рік
Повідомляємо про затвердження переліку проєктів фундаментальних і прикладних досліджень та науково-технічних (експериментальних) розробок та переліку проєктів молодих вчених детальніше...
17.12.2021
Витяг з указу Президента України про присудження премій Президента України для молодих вчених
УКАЗ ПРЕЗИДЕНТА УКРАЇНИ № 659/2021 від 17.12.2021
Про присудження премій Президента України для молодих вчених 2021 року
На підставі подання Комітету з Державних премій України в галузі науки і техніки постановляю:

1. Присудити премії Президента України для молодих вчених 2021 року:
–за роботу «Економічні... детальніше...
Всі події