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

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

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


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

Анонс подій

22.05.2017
Кібернетик Крак Ю.В. – лауреат Державної премії України в галузі науки і техніки 2016 року
Згідно з УКАЗОМ ПРЕЗИДЕНТА УКРАЇНИ №101/2017 від 7 квітня 2017 року «Про присудження Державних премій України в галузі науки і техніки 2016 року» присуджено Державну премію України в галузі науки і техніки 2016 року за роботу «Методи оптимізації та комп’ютерні технології для моделювання... детальніше...
22.05.2017
Відзнака кібернетика державною нагородою
Згідно з УКАЗОМ ПРЕЗИДЕНТА УКРАЇНИ №135/2017 від 18 травня 2017 р. «Про відзначення державними нагородами України з нагоди Дня науки» присвоєне почесне звання «ЗАСЛУЖЕНИЙ ДІЯЧ НАУКИ І ТЕХНІКИ УКРАЇНИ» ЛЯШКУ Сергію Івановичу детальніше...
22.05.2017
Зроблено в Києві
25 травня 2017 року, в рамках святкування Дня Києва, Київською міською державною адміністрацією буде проведено виставку-презентацію промислової продукції київських виробників «Зроблено в Києві» детальніше...
18.05.2017
Університет підписав Меморандум з Академією ДТЕК
17 травня 2017 року в рамках співробітництва КНУ та Академії ДТЕК, що є корпоративним університетом компанії ДТЕК було проведено офіційну зустріч директора Академії ДТЕК Бондаренка Є. І. та проректора з наукової роботи КНУ Мартинюка В. С., в результаті якої підписано Меморандум про співпрацю детальніше...
17.05.2017
Семінар “Участь в міжнародних програмах (Horizon 2020, COSME, Enterprise Europe Network) та патентування”
31 травня 2017 року о 14.00 відбудеться семінар “Участь в міжнародних програмах (Horizon 2020, COSME, Enterprise Europe Network) та патентування” на базі Хімічного факультету Університету. детальніше...
16.05.2017
COST Info Day in Kyiv
18 травня 2017 року 0 9.00 год в аудиторії № 329 приміщенні Головного навчального корпусу Київського національного університету імені Тараса Шевченка (вул. Володимирська, 60) за підтримки Міністерства освіти та науки України відбудеться Інформаційний День Асоціації європейського співробітництва в галузі...
детальніше...
Всі події