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

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

2. Науковий напрям та галузь знань, що враховується у науковому напрямі:

 

Науковий напрям

галузь знань, що враховується у науковому напрямі

1.

Математичні науки та природничі науки

математика та статистика природничі науки

2.

Технічні науки

інформаційні технології електроніка та телекомунікації архітектура та будівництво електрична інженерія

механічна інженерія автоматизація та приладобудування транспорт хімічна та біоінженерія виробництво та технології

3. Загальні відомості про школу:

Основними напрямами наукових досліджень є композиційне програмування та його сучасні варіанти (експлікативне та композиційно- номінативне програмування): теорії дескриптивних та декларативних програмних алгебраїчних структур, які виступають формальними та адекватними моделями структур даних, програм та засобів їх конструювання; теорія композиційно-номінативних логік, орієнтованих на моделювання предметних областей та специфікацію програмних систем; теорія баз даних та знань; теорія абстрактної обчислюваності; розробка наукомістких інформаційних технологій та систем різноманітного призначення. Учнями школи захищено 55 кандидатських дисертацій, 6 – докторських. Щорічно 15-20 студентів та 3-5 аспірантів є випускниками наукової школи. Серед них вихованці з Німеччини, Чехії, Словаччини, Індії, В‘єтнаму, Нігерії та Ірану.

  3.1. Дата заснування (рішення Вченої ради Університету/підрозділу) : 1971 рік, кафедра теорії програмування факультету кібернетики Київського національного університету імені Тараса Шевченка;

  3.2. Засновник: академік НАН України В.Н. Редько;

  3.3. Керівник: професор М.С. Нікітченко, завідувач кафедри теорії та технології програмування факультету комп’ютерних наук та кібернетики;

  3.4. Кількісний склад наукової школи (осіб): 11

  3.5. Кваліфікаційний склад наукової школи (осіб):

  • академіків, член-кореспондентів Академії наук (державного статусу);

  • докторів наук - 3;
  • кандидатів наук - 8;

3.6. Найбільш відомі випускники наукової школи (Alumnus)

  • Анісімов А.В.: член-кореспондент НАНУ, декан факультету комп’ютерних наук та кібернетики КНУ імені Тараса Шевченка, професор; Лауреат премії Національної академії наук України імені Глушкова у галузі кібернетики (1994); Соросівський професорський ґрант (1995—1996), лауреат Державної премії України в галузі науки і техніки (1988), заслужений діяч науки і техніки України (2005), лауреат Державної премії України в галузі освіти (2018);
  • Глибовець М.М.: декан факультету Інформатики Національного університету "Києво-Могилянська Академія", професор, «Заслужений діяч науки і техніки України» (2016), «Лауреат Державної премії України в галузі науки і техніки» (2018);
  • Нікітченко М.С., професор, лауреат Державної премії України в галузі науки та техніки (2003);
  • Шкільняк С.С., професор, лауреат Державної премії України в галузі освіти (2018);
  • Волохов В.М., лауреат Державної премії Україні в галузі науки і техніки (2018).

4. Наукові досягнення школи:

Практичним втіленням наукових результатів були параметричні системи програмування, комплекси дефініторного процесування, системи композиційного автоматизованого синтезу, адаптивні інформаційно-аналітичні системи, системи інформаційно-лінгвістичного забезпечення баз знань. Наукові досягнення школи втілені в нові нормативні та спеціальні курси: теоретичні основи програмування, програмні логіки, програмні дефінітори та дефініторні процесори, основи дескриптології, дескриптологічна програмологія, математична логіка і теорія алгоритмів, теорія формальних граматик, теорія аплікативних систем, λ-числення.

  4.1. Найбільш вагомі результати: Побудова теорії дескриптивних та декларативних програмних алгебраїчних структур, які виступають формальними та адекватними моделями структур даних, програм та засобів їх конструювання; теорія композиційно-номінативних логік, орієнтованих на моделювання предметних областей та специфікацію програмних систем; теорія баз даних та знань; теорія абстрактної обчислюваності; розробка наукомістких інформаційних технологій та систем різноманітного призначення.

  4.2. Найбільш вагомі результати за останні 5 років (до 10 рядків): Розроблено та досліджено низку програмно-орієнтованих логік, які враховують частковість програм, предикатів та функцій. Розбудовано нові програмні логіки з композиціями предикатного доповнення та розширеними реномінаціями. Побудовані секвенційні числення для таких логік. Доведено теореми коректності та повноти для побудованих логік. Такі логіки дозволяють верифікацію широкого класу програмних систем. Визначено та досліджено нові класи багатозначних логік. Вони дозволяють адекватний опис мов специфікацій програмних систем.

  4.3. Практичне використання отриманих наукових результатів за останні 5 років: Використання результатів досліджень у прикладних проектах, зокрема:

  • "Створення 3D-моделі голови людини з 3D-скану"(Україна, Київ, Київський національний університет імені Тараса Шевченка, Hackathon Expert Group, Apostera), 
  • "Розпізнавання зашумлених зображень"(Україна, Київ, Київський національний університет імені Тараса Шевченка ф-т комп'ютерних наук та кібернетики, Hackathon Expert Group, Apostera), 
  • "Google: мистецтво чистого коду" (Україна, Київ, Київський національний університет імені Тараса Шевченка ф-т комп'ютерних наук та кібернетики, Hackathon Expert Group); 
  • "Facebook: новітні методи обробки мови" (Україна, Київ, Київський національний університет імені Тараса Шевченка ф-т комп'ютерних наук та кібернетики, Hackathon Expert Group);

  4.4. Участь у конкурсах, що організуються з держбюджету та Інших джерел фінансування (приватні фонди), гранти, тощо, за останні 5 років:

  • грант мобільності за програмою ERASMUS+ (2017) (Нікітченко М.С.);
  • НДР б/т № 11БФ015-02 “Формальні специфікації та методи розробки надійних програмних систем'’, 2010–2015 (Нікітченко М.С. – науковий керівник, Шишацька О.В. – інженер-програміст);
  • №16БФ015-04 «Розробка логіко-алгоритмічних методів дослідження формальних моделей природних мов» (2015–2018) (Нікітченко М.С. – провідний науковий співробітник теми, Шишацька О.В. – інженер-програміст);
  • № 19БФ015-04 «Розробка єдиного програмно-алгоритмічного середовища візуалізації та комп’ютерного моделювання для створення систем оздоровлення військовослужбовців» (2019–2020) (Нікітченко М.С. - провідний науковий співробітник теми).

  4.5. Визнання наукової школи науковою та громадською спільнотою (Державні премії України, відзнаки Президента, Кабінету Міністрів України, почесні звання, дипломи, тощо, за останні 5 років):

  • С.С. Шкільняк – лауреат Державної премії України в галузі освіти (2018);
  • В.М. Волохов – лауреат державної премії Україні в галузі науки і техніки (2018);
  • М.С. Нікітченко – нагороджений ювілейною медаллю «25 років Академії наук вищої школи України» (2017).

  4.6. Кількість докторів і кандидатів, підготовлених за останні 5 років:

  • 1 доктор технічних наук (Зосімов В.В.);
  • 3 кандидатів фізико-математичних наук (Мохаммед Карам Джасім Мохаммед, Фабунмі Сунмаде Кунле, Шишацька О.В.);
  • 58 магістрів.

  4.7. Кількість патентів, отриманих протягом останніх 5 років: 0;

  4.8. Кількість опублікованих монографій, підручників, навчальних посібників за останні 5 років: 17;

  4.9. Кількість опублікованих статей у виданнях, рекомендованих МОН України, в українських та закордонних рецензованих журналах за останні 5 років: 116;

  4.10. Кількість виставок, на яких наукова школа презентувала свої розробки за останні 5 років: 0;

  4.11. Кількість наукових конференцій, ініційованих науковою школою (оргкомітет, програма тощо) за останні 5 років: 32:

  • International Conference on Mathematical Fondation of Infotmatics (MFOI’) (проф. Нікітченко М.С. - співголова) – 2017-2021;

  • International Conference “Advanced Computer Information Technologies"- (проф. Нікітченко М.С. – програмний комітет);

  • World Congress and School on Universal Logic - (проф. Нікітченко М.С. –програмний комітет);

  • nternational Conference "Problems of Decision Making under Uncertainties" (PDMU) (проф.Шкільняк С.С., Нікітченко М.С. – оргкомітет);

  • International Conference DYNAMICAL SYSTEM MODELLING AND STABILITY INVESTIGATION (Нікітченко М.С., Шкільняк С.С. - програмний комітет);

  • Міжнародна науково-технічна конференція Міжнародна науково-технічна конференція «Штучний інтелект та інтелектуальні системи» (ARTIFICIAL INTELLIGENCE AND INTELLEGENT SYSTEMS (AIІS’)) – (програмний, організаційний комітет);

  • International Conference on Model-Driven Engineering and Software Development, MODELSWARD, Чешська Республіка (програмний комітет);

  • InternationalConferenceonModel-DrivenEngineeringandSoftwareDevelopment, MODELSWARD, Мальта (програмний комітет);

  • International Conference on the Quality of Information and Communications Technology (QUATIC' (Панченко Т.В. – організаційний комітет);

  • International Conference on ICT in Education, Research, and Industrial Applications (2017-2021, проф. Нікітченко М.С. – співголова, програмний комітет; Шишацька О.В., Омельчук Л.Л., Поліщук Н.В. – організаційний комітет);

  • Українська логічна конференція (організатори);

  4.12. 10 найбільш вагомих публікацій (пріоритет надається статтям опублікованим у журналах Q1 чи монографіям, які (або) здобули нагороду (премію, відзнаку) національних чи міжнародних конкурсів, (або) отримали не менше трьох позитивних рецензій, опублікованих у фахових наукових періодичних виданнях).

  • Nikitchenko, Mykola; Shkilniak, Oksana; Shkilniak, Stepan; Mamedov, Tohrul.Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. Computer Science Journal of Moldova . 2019, Vol. 27 Issue 2, p162-187. 26p.

  • Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak. Program Logics Based on Algebras with the Composition of Predicate Complement. 2019 9th International Conference on Advanced Computer Information Technologies (ACIT). РР. 285-288

  • SS Shkilniak. First-order composition-nominative logics with predicates of weak equality and of strong equality. PROBLEMS IN PROGRAMMING. – 2019. – РР.28-44

  • Omelchuk L. and Shyshatska O. SMT-LIB Theory of Nominative Data/Springer Nature Switzerland AG 2020 V. Ermolayev et al. (Eds.): ICTERI 2019, CCIS 1175, pp. 89–110, 2020.

  • Ivanov, I., Nikitchenko, M. Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition (2020) Communications in Computer and Information Science, 1175 CCIS, pp. 50-67. DOI: 10.1007/978-3-030-39459-2_3 Conference Paper CiteScore 2018 = 0.46

  • Nikitchenko, M., Shkilniak, O., Shkilniak, S. Program-Oriented Logics of Renominative Level with Extended Renomination and Equality (2020) Communications in Computer and Information Science, 1175 CCIS, pp. 68-88. DOI: 10.1007/978-3-030-39459-2_4 Conference Paper CiteScore 2018 = 0.46

  • М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов. Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов // Проблеми програмування. — 2019. — № 1. — С. 3-13

  • Nikitchenko, Mykola; Shkilniak, Oksana; Shkilniak, Stepan; Mamedov, Tohrul.Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. Computer Science Journal of Moldova . 2019, Vol. 27 Issue 2, p162-187. 26p.

  • SS Shkilniak. First-order composition-nominative logics with predicates of weak equality and of strong equality. PROBLEMS IN PROGRAMMING. – 2019. – РР.28-44

   

Відомості про колектив наукової школи

№ п/п

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

по-батькові

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

Науковий

ступінь, вчене звання

Місце роботи, посада

Загальна кількість публікацій

1

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

27. 04.1951

д.ф.-м.н., професор

Київський національний університет імені Тараса Шевченка, зав. кафедри

Понад 300

2.

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

24.05.1951

д.ф.-м.н., професор

Київський національний університет імені Тараса Шевченка, професор

Понад 200

3.

Зосімов В’ячеслав Валерійович

19.08.1985

д.т.н., доцент

Миколаївський національний університет ім.В.О.Сухомлинського, зав. кафедри

Понад 80

4.

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

12.09.1952

к.ф.-м.н., доцент

Київський національний університет імені Тараса Шевченка, доцент

Понад 100

5.

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

12.11.1948

к.ф.-м.н., доцент

Київський національний університет імені Тараса Шевченка, доцент

Понад 80

6.

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

23.03.1953

к.ф.-м.н., доцент

Київський національний університет імені Тараса Шевченка, доцент

Понад 50

7.

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

16.12.1984

к.ф.-м.н., доцент

Київський національний університет імені Тараса Шевченка, доцент

Понад 100

8.

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

05.06.1978

к.ф.-м.н., доцент

Київський національний університет імені Тараса Шевченка, доцент

Близько 55

9.

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

28.03.1977

к.ф.-м.н., доцент

Київський національний університет імені Тараса Шевченка, доцент

50

10.

Криволап Андрій Володимирович

14.06.1988

к.ф.-м.н.

Київський національний університет імені Тараса Шевченка, асистент

Близько 20

11.

Шишацька Олена Володимирівна

08.08.1974

к.ф.-м.н.

Київський національний університет імені Тараса Шевченка, асистент

Близько 40

 

Атестовано на засіданні Вченої ради Київського національного університету імені Тараса Шевченка від 17 січня 2022 року


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

Анонс подій

29.10.2024
30 жовтня, Інформаційний день від НКП програми «Горизонт Європа» за Кластером 6: Продовольство, біоекономіка, природні ресурси, сільське господарство і навколишнє середовище

Поліський національний університет запрошує Вас взяти участь у заході, організованому Національним контактним пунктом програми «Горизонт Європа» за Кластером 6: Продовольство, біоекономіка, природні ресурси, сільське господарство і навколишнє середовище.

Тема заходу: «На шляху до Європейського...

детальніше...
11.10.2024
Лекція проф. Ч. Уайтхеда, фінансиста і засновника eō Business Incubators
14 жовтня о 10:20 в ауд. 202 (Головний корпус) відбудеться лекція Чарльза Уайтхеда, професора Корнелльського університету, засновника eō Business Incubators, американського інвестиційного банкіра, який займав керівні посади в Citibank та Salomon Brothers та ін.

Тема лекції: "Можливості комерціалізації...
детальніше...
04.10.2024
Міжнародний стартап захід Young Innovation Hackathon 3

Міністерством освіти і науки України запрошує взяти участь у міжнародному стартап заході Young Innovation Hackathon 3, який відбудеться 14-28 жовтня 2024 року відповідно до листа МОН України від 25.09.2024 №25/66-24
    
Міністерство освіти і науки України з метою підтримки... детальніше...
04.10.2024
Заплановані вебінари від Clarivate на жовтень 2024
Міністерством освіти і науки України на жовтень 2024 року заплановані вебінари від Clarivate відповідно до листа МОН України від 02.10.2024 №7/284-24

Clarivate Essentials

3 жовтня
Тема: Публікація наукової статті 
Тези: На вебінарі поговоримо про мету публікації.... детальніше...
19.09.2024
Конкурс спільних українсько-австрійських науково-дослідних проєктів
МОН оголосило старт конкурсу спільних українсько-австрійських науково-дослідних проєктів для реалізації у 2025-2026 роках
детальніше...
16.09.2024
20-та Міжнародна конференція з електроніки та прикладної фізики APHYS'2024


Шановні студенти та аспіранти!

Запрошуємо Вас взяти участь у 20 міжнародній конференції з прикладної фізики та електроніки "APHYS’2024", що присвячена пам’яті професора Моргуліса Наума Давидовича, засновника та керівника Київської наукової школи фізичної електроніки.
Конференція буде проходити...
детальніше...
Всі події