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

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

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


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

Анонс подій

10.07.2020
“EUREKA Globalstars”
Україна вперше долучається до ініціативи “EUREKA Globalstars” у межах міжнародної інноваційної програми “EUREKA“. Це дасть змогу командам українського бізнесу, наукових установ та вишів взяти участь у спільному конкурсі проєктів між країнами-членами “EUREKA” та Сінгапуром: “Call for Joint R&D Projec... детальніше...
06.07.2020
Безкоштовний вебінар на тему «SciVal: Як оцінити результати досліджень у світі даних?»
Йтиметься про використання можливостей аналітичної платформи «SciVal», яка дає змогу проводити бенчмаркінг, стратегічне планування та отримувати інформацію, важливу для ефективного управління науково-технічною та інноваційною діяльністю детальніше...
03.07.2020
Астрономічна обсерваторія КНУ імені Тараса Шевченка в міжнародному проекті Europlanet 2024 Research Infrastructure
Науковці з астрономічної обсерваторії КНУ імені Тараса Шевченка розпочали участь у міжнародному проєкті  Europlanet 2024 Research Infrastructure в рамках програми «Горизонт 2020» детальніше...
01.07.2020
Міждисциплінарний аналітичний центр соціально-економічного добробуту та психічного здоров’я в Університеті
Відповідно до Наказу №423-32 від 24.06.2020 в в Університеті створено новий «Міждисциплінарний аналітичний центр соціально-економічного добробуту та психічного здоров’я» детальніше...
30.06.2020
МІШУРІ Юлії Степанівні присвоєно почесне звання «Заслужений діяч науки і техніки України»
УКАЗ ПРЕЗИДЕНТА УКРАЇНИ №254/2020 «Про відзначення державними нагородами України з нагоди Дня Конституції України» детальніше...
30.06.2020
4 безкоштовних вебінари з використання бази даних Scopus
Знайомство з базою даних Scopus, пошук інформації в ній, ScienceDirect та профіль автора у Scopus – про все це українські науковці зможуть дізнатися на безкоштовних вебінарах впродовж липня 2020 року. Тренінги матимуть змогу пройти представники закладів вищої освіти і наукових установ України детальніше...
Всі події