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

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