I.
Додаток до картки НПП
Картка містить досягнення за пунктами постанови КМУ.
Заповнені пункти виділено — натисніть, щоб розкрити.
16
17
18
Статей у Scopus – 21:
https://www.scopus.com/authid/detail.uri?authorId=56436805400
у тому числі:
[1] V. Peschanenko, M. Poltoratskyi, and O. Konnova, “Verification of smart contract code generated by applying artificial intelligence,” in Communications in Computer and Information Science, vol. 2359, Cham, Switzerland: Springer, 2025, pp. 3–19
[2] O. Spivakovskyi, M. Poltoratskyi, and Y. Revenko, “Modeling an individual educational trajectory for adaptive English language learning based on Semantic Web technologies,” in Communications in Computer and Information Science, vol. 2763, Cham, Switzerland: Springer, 2025, pp. 168–183.
[3] O. Spivakovskyi, L. Petukhova, A. Volianiuk, and M. Poltoratskyi, “Three-subject didactics 2.0 – the role of artificial intelligence in the modern concept of education,” in Communications in Computer and Information Science, vol. 2763, Cham, Switzerland: Springer, 2025, pp. 135–150.
[4] A. Spivakovskyi, M. Poltoratskyi, O. Lemeshchuk, I. Karpov, and Y. Revenko, “Algorithms for using online tutoring as a tool for personalization of learning in an online educational environment,” in Communications in Computer and Information Science, vol. 2359, Cham, Switzerland: Springer, 2025, pp. 178–193.
[5] A. Spivakovskyi, L. Petukhova, M. Poltoratskyi, N. Voropay, and S. Chepurna, “Theoretical principles of measuring and interpreting levels of attention, involvement and organizing feedback of students to the educational process using automated software products,” in Communications in Computer and Information Science, vol. 1980, Cham, Switzerland: Springer, 2023, pp. 144–159.
[6] O. Letychevskyi, Y. Tarasich, V. Peschanenko, H. Sokolova, and M. Poltoratskyi, “Algebraic modeling as one of the methods for solving organic chemistry problems,” in Communications in Computer and Information Science, vol. 1698, Cham, Switzerland: Springer, 2022, pp. 180–202.
[7] O. Letychevskyi, V. Peschanenko, M. Poltoratskyi, and Y. Tarasich, “Platform for modeling of algebraic behavior: Experience and conclusions,” in CEUR Workshop Proceedings, vol. 2732, 2020, pp. 42–57.
[8] O. Letychevskyi, V. Peschanenko, M. Poltoratskyi, and Y. Tarasich, “Our approach to formal verification of token economy models,” in Communications in Computer and Information Science, vol. 1175, Cham, Switzerland: Springer, 2020, pp. 348–363.
[9] M. Vinnyk, M. Poltoratskyi, Y. Spivakovska, L. Bondarenko, and Y. Revenko, “Measuring the effectiveness of the implementation of individual educational trajectories by university students,” in CEUR Workshop Proceedings, vol. 2732, 2020, pp. 1286–1297.
Статей у WoS – 7:
https://www.webofscience.com/wos/author/record/N-3885-2018
[1] M. Poltoratskyi, “Modeling a personalized educational system based on Semantic Web technologies,” Information Technologies and Learning Tools, vol. 110, no. 6, pp. 254–270, 2025, doi: 10.33407/itlt.v110i6.
[2] O. Spivakovsky, S. Omelchuk, V. Kobets, M. Poltoratskyi, D. Malchykova, and O. Lemeshchuk., “Institutional regulation of using AI-based services through the KANO model: The case of Kherson State University,” Information Technologies and Learning Tools, vol. 108, no. 4, 2025, doi: 10.33407/itlt.v108i4.
[3] M. Poltoratskyi and O. Konnova, “Use of Semantic Web technologies for validation of educational models,” Information Technologies and Learning Tools, vol. 106, no. 2, pp. 94–106, 2025, doi: 10.33407/itlt.v106i2.
[4] M. Vinnyk, M. Poltoratskyi, A. Bohdanovych, et al., “Registration of intellectual property rights based on blockchain technology,” Information Technologies and Learning Tools, vol. 102, no. 4, pp. 192–210, 2024, doi: 10.33407/itlt.v102i4.
[5] A. Spivakovsky, M. Vinnyk, S. Omelchuk, et al., “Information technologies for measuring the qualitative and quantitative indicators of higher education institutions work,” Information Technologies and Learning Tools, vol. 89, no. 3, pp. 190–208, 2022.
https://www.scopus.com/authid/detail.uri?authorId=56436805400
у тому числі:
[1] V. Peschanenko, M. Poltoratskyi, and O. Konnova, “Verification of smart contract code generated by applying artificial intelligence,” in Communications in Computer and Information Science, vol. 2359, Cham, Switzerland: Springer, 2025, pp. 3–19
[2] O. Spivakovskyi, M. Poltoratskyi, and Y. Revenko, “Modeling an individual educational trajectory for adaptive English language learning based on Semantic Web technologies,” in Communications in Computer and Information Science, vol. 2763, Cham, Switzerland: Springer, 2025, pp. 168–183.
[3] O. Spivakovskyi, L. Petukhova, A. Volianiuk, and M. Poltoratskyi, “Three-subject didactics 2.0 – the role of artificial intelligence in the modern concept of education,” in Communications in Computer and Information Science, vol. 2763, Cham, Switzerland: Springer, 2025, pp. 135–150.
[4] A. Spivakovskyi, M. Poltoratskyi, O. Lemeshchuk, I. Karpov, and Y. Revenko, “Algorithms for using online tutoring as a tool for personalization of learning in an online educational environment,” in Communications in Computer and Information Science, vol. 2359, Cham, Switzerland: Springer, 2025, pp. 178–193.
[5] A. Spivakovskyi, L. Petukhova, M. Poltoratskyi, N. Voropay, and S. Chepurna, “Theoretical principles of measuring and interpreting levels of attention, involvement and organizing feedback of students to the educational process using automated software products,” in Communications in Computer and Information Science, vol. 1980, Cham, Switzerland: Springer, 2023, pp. 144–159.
[6] O. Letychevskyi, Y. Tarasich, V. Peschanenko, H. Sokolova, and M. Poltoratskyi, “Algebraic modeling as one of the methods for solving organic chemistry problems,” in Communications in Computer and Information Science, vol. 1698, Cham, Switzerland: Springer, 2022, pp. 180–202.
[7] O. Letychevskyi, V. Peschanenko, M. Poltoratskyi, and Y. Tarasich, “Platform for modeling of algebraic behavior: Experience and conclusions,” in CEUR Workshop Proceedings, vol. 2732, 2020, pp. 42–57.
[8] O. Letychevskyi, V. Peschanenko, M. Poltoratskyi, and Y. Tarasich, “Our approach to formal verification of token economy models,” in Communications in Computer and Information Science, vol. 1175, Cham, Switzerland: Springer, 2020, pp. 348–363.
[9] M. Vinnyk, M. Poltoratskyi, Y. Spivakovska, L. Bondarenko, and Y. Revenko, “Measuring the effectiveness of the implementation of individual educational trajectories by university students,” in CEUR Workshop Proceedings, vol. 2732, 2020, pp. 1286–1297.
Статей у WoS – 7:
https://www.webofscience.com/wos/author/record/N-3885-2018
[1] M. Poltoratskyi, “Modeling a personalized educational system based on Semantic Web technologies,” Information Technologies and Learning Tools, vol. 110, no. 6, pp. 254–270, 2025, doi: 10.33407/itlt.v110i6.
[2] O. Spivakovsky, S. Omelchuk, V. Kobets, M. Poltoratskyi, D. Malchykova, and O. Lemeshchuk., “Institutional regulation of using AI-based services through the KANO model: The case of Kherson State University,” Information Technologies and Learning Tools, vol. 108, no. 4, 2025, doi: 10.33407/itlt.v108i4.
[3] M. Poltoratskyi and O. Konnova, “Use of Semantic Web technologies for validation of educational models,” Information Technologies and Learning Tools, vol. 106, no. 2, pp. 94–106, 2025, doi: 10.33407/itlt.v106i2.
[4] M. Vinnyk, M. Poltoratskyi, A. Bohdanovych, et al., “Registration of intellectual property rights based on blockchain technology,” Information Technologies and Learning Tools, vol. 102, no. 4, pp. 192–210, 2024, doi: 10.33407/itlt.v102i4.
[5] A. Spivakovsky, M. Vinnyk, S. Omelchuk, et al., “Information technologies for measuring the qualitative and quantitative indicators of higher education institutions work,” Information Technologies and Learning Tools, vol. 89, no. 3, pp. 190–208, 2022.
1. Свідоцтво про реєстрацію авторського права на твір (№59133) "КОМП'ЮТЕРНА ПРОГРАМА WEB - СЕРВІС ПОБУДОВИ РЕЙТИНГІВ НАУКОВЦІВ ВНЗ ЗА ДАНИМИ НАУКОМТРЕЧНИХ СИСТЕМ ТА БАЗ ДАНИХ". Версія 2.0.
2. Свідоцтво про реєстрацію авторського права на твір (№119765) "Автоматизована система збирання, аналізування i представлення наукометричних показників діяльності навчальних закладів освiти".
2. Свідоцтво про реєстрацію авторського права на твір (№119765) "Автоматизована система збирання, аналізування i представлення наукометричних показників діяльності навчальних закладів освiти".
О.В. Співаковський , М. О. Вінник, М. Ю. Полторацький, О. В. Коннова. К84 Співаковський О.В. Криптоекономіка. Навч.- метод. посіб. / О.В. Співаковський, М.О. Вінник, М.Ю. Полторацький, О.В. Коннова. – Херсон: Херсонський державний університет, 2023. – 162 с.
-
Тема: “Алгебраїчний підхід у формалізації та аналізі економічних та
правових моделей”.
Доктор філософії з галузі знань 012 Інформаційні технології зі
спеціальності 121 Інженерія програмного забезпечення.
правових моделей”.
Доктор філософії з галузі знань 012 Інформаційні технології зі
спеціальності 121 Інженерія програмного забезпечення.
-
-
-
Oфіційного рецензента, доктора філософії з галузі знань 12 Інформаційні технології зі спеціальності
121 Інженерія програмного забезпечення, доцента кафедри комп’ютерних наук та програмної інженерії Херсонського державного університету Полторацького Максима Юрійовича на дисертаційну роботу
Савченка Сергія Олександровича на тему «Розроблення автоматизованої інформаційної системи фінансового консультування для генерації персоналізованих інвестиційних портфелів», подану до захисту на здобуття наукового ступеня доктора філософії за спеціальністю 121 Інженерія програмного забезпечення з галузі знань 12 Інформаційні технології.
121 Інженерія програмного забезпечення, доцента кафедри комп’ютерних наук та програмної інженерії Херсонського державного університету Полторацького Максима Юрійовича на дисертаційну роботу
Савченка Сергія Олександровича на тему «Розроблення автоматизованої інформаційної системи фінансового консультування для генерації персоналізованих інвестиційних портфелів», подану до захисту на здобуття наукового ступеня доктора філософії за спеціальністю 121 Інженерія програмного забезпечення з галузі знань 12 Інформаційні технології.
1. MASTIS. Establishing Modern Master-level Studies in Information Systems.
2. «Навчання без обмежень»» (Students’ Personalised Learning Model, Based on the Virtual Learning Environment of Intellectual Tutoring “Learning with No Limits” - SMART-PL).
2. «Навчання без обмежень»» (Students’ Personalised Learning Model, Based on the Virtual Learning Environment of Intellectual Tutoring “Learning with No Limits” - SMART-PL).
-
-
-
-
-
1. Formal Methods Europe: https://www.fmeurope.org/
2.Прогресильні: https://progresylni.org/
2.Прогресильні: https://progresylni.org/
Garuda.AI
10 років
Тема: “Алгебраїчний підхід у формалізації та аналізі економічних та
правових моделей”.
Доктор філософії з галузі знань 012 Інформаційні технології зі
спеціальності 121 Інженерія програмного забезпечення.
правових моделей”.
Доктор філософії з галузі знань 012 Інформаційні технології зі
спеціальності 121 Інженерія програмного забезпечення.
II.
Освіта
3
| Дата | Освітній ступінь | Заклад | Спеціальність | Кваліфікація | Документ | Серія / № |
|---|---|---|---|---|---|---|
| 2015 | Магістр | Херсонський державний ун-т | інформатика | — | Диплом | — |
| 2014 | Бакалавр | Херсонський державний ун-т | — | бакалавр, інженер-програміст | Диплом | ХЕ •••••• |
| 2010 | — | Старозбур''івську ЗОШ Голопристанського району | — | — | Атестат | ХЕ •••••• |
III.
Науковий ступінь
1
| Дата | Науковий ступінь | Заклад | Спеціальність | Документ | Серія / № |
|---|---|---|---|---|---|
| 2021 | Доктор філософії | Херсонський державний університет | інформаційні технології | Диплом | ДР •••••• |
IV.
Вчене звання
1
| Дата | Вчене звання | Заклад | Документ | Серія / № |
|---|---|---|---|---|
| 2024 | Доцент | Херсонський державний університет | Атестат | АД •••••• |
V.
Дослідницькі профілі
5
| Платформа | H-індекс | Кількість документів | Кількість цитувань |
|---|---|---|---|
| Semantic Scholar | — | — | — |
| Web of Science | — | — | — |
| Orcid | — | — | — |
| Scopus | 4 | 17 | 50 |
| Google Scholar | 7 | 30 | 114 |
VI.
H-індекс за роками
6
VII.
Статті
23
| Рік | Назва | ID цифрового об'єкту | ISSN | Посилання на статтю |
|---|---|---|---|---|
| — | СИСТЕМА ПОБУДОВИ РЕЙТИНГІВ НАУКОВЦІВ ВНЗ ЗА ДАНИМИ НАУКОМЕТРИЧНИХ СИСТЕМ ТА БАЗ ДАНИХ | — | — | — |
| 2023 | Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software Products | 10.1007/978-3-031-48325-7_11 | — | — |
| 2023 | Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software … | — | — | — |
| 2022 | Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems | 10.1007/978-3-031-20834-8_9 | — | — |
| 2021 | One Approach to Formal Verification of Distributed Ledger Technologies on the Blockchain Technologies Example | — | — | — |
| 2020 | Measuring the effectiveness of the implementation of individual educational trajectories by university students | — | — | — |
| 2020 | Platform for modeling of algebraic behavior: Experience and conclusions | — | — | — |
| 2020 | Our Approach to Formal Verification of Token Economy Models | 10.1007/978-3-030-39459-2_16 | — | — |
| 2019 | Formalization and algebraic modeling of university economics | — | — | — |
| 2019 | Information system of scientific activity indicators of scientific organizations: Development status and prospects | — | — | — |
| 2019 | Formal verification of token economy models | 10.1109/BLOC.2019.8751318 | — | — |
| 2019 | Formalization and algebraic modeling of tokenomics projects | — | — | — |
| 2018 | Use of metods of algebraic programming for the formal verification of legal acts | — | — | — |
| 2018 | Development of rating systems for scientometric indices of universities | — | — | — |
| 2017 | An algebraic approach for analyzing of legal requirements | 10.1109/REW.2017.51 | — | — |
| 2017 | Formalization and algebraic verification of legal requirements | — | — | — |
| 2016 | Using an evolutionary algorithm to improve investment strategies for industries in an economic system | — | — | — |
| 2016 | Using an Evolutionary Algorithm to Improve Investment Strategies for Industries in an Economic System (2016) | — | — | — |
| 2016 | Design and Development of Information System of Scientific Activity Indicators. | — | — | — |
| 2016 | Design and development of information system of scientific activity indicators | — | — | — |
| 2015 | Формалізація статей податкового кодексу України | — | — | — |
| 2015 | Dynamic model of double electronic Vickrey auction | — | — | — |
| 2014 | Forming an evolutionarily stable firm strategy under Cournot competition using social preferences | 10.1007/978-3-319-13206-8_17 | — | — |
VIII.
Наукові журнали
4
| Журнал | Публікацій | ISSN |
|---|---|---|
| CEUR Workshop Proceedings | 11 | 16130073 |
| Communications in Computer and Information Science | 4 | 18650937 18650929 |
| ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency | 1 | — |
| Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017 | 1 | — |
IX.
Публікації у наукових фахових виданнях (архів)
2
| Рік | Назва | Видання | DOI |
|---|---|---|---|
| 2024 | AI-POWERED MARKETING AUTOMATION FOR NON-GOVERNMENTAL ORGANIZATION MANAGEMENT | Scientific Bulletin of Kherson State University. Series Economic Sciences | https://doi.org/10.32999/ksu2307-8030/2024-52-8 |
| 2023 | AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL | Journal of Information Technologies in Education (ITE) | https://doi.org/10.14308/ite000774 |
X.
Навчальні посібники
1
| Дата публікації посібника | Назва посібника | ISBN | Тип грифу | Покликання на репозиторій DSpace |
|---|---|---|---|---|
| 2023 | Криптоекономіка | 978-966-428-902-0 | Гриф вченої ради закладу вищої освіти (ЗВО) | http://ekhsuir.kspu.edu/123456789/18648 |
XI.
Інтелектуальна власність
1
| Дата публікації відомостей про видачу патенту | Назва патенту | Унікальний номер патенту | Тип об’єкта інтелектуальної власності | Покликання на сайт спеціальної інформаційної системи Укрпатенту |
|---|---|---|---|---|
| 2023 | Автоматизована система збирання, аналізування і представлення наукометричних показників дiяльностi закладів освiти | 119765 | Свідоцтво авторського права на комп’ютерні програми | https://ksu24.kspu.edu/s/mwi27 |
XII.
Журнали навчальних занять
4
| Навчальний рік | Дисципліни |
|---|---|
| 2025 | Захист кваліфікаційних робіт (проєктів), Захист кваліфікаційної роботи (проєкту), Основи програмної інженерії, Проєктний практикум з фiнансових iнструментiв, Технології блокчейн в економіці та фінансах, Управління технологією розробки фінансових інструментів, Функціональне та логічне програмування, Цифрові валюти і блокчейн технології, Штучний iнтелект та машинне навчання, Штучний iнтелект та нейроннi мережi, Якicть програмного забезпечення та тестування, ЯКІСТЬ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТА ТЕСТУВАННЯ, Інтелектуальні інформаційні системи |
| 2024 | Моделювання Даних для AI, Основи програмної інженерії, Проектування програмних систем, Розробка смарт-контрактiв у блокчейнi, РС-К(заочна форма навчання, залік), Технологія блокчейн в економіці та фінансах, Технології блоечейн в економіці та фінансах, Технології блокчейн в економіці та фінансах, Формальні методи специфікації, верифікації та оптимізації програм, Функціональне та логічне програмування, Цифрові валюти і блокчейн технології, Штучний інтелект і нейронні мережі, ЯКІСТЬ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТА ТЕСТУВАННЯ |
| 2023 | Автоматизоване управління фінансовими інструментами, Безпека Програм та даних, Моделювання та аналіз програмного забезпечення, Основи програмної інженерії, Програмування, Проектування програмних систем, Розробка смарт-контрактів у блокчейні, Технології блокчейну в економіці та фінансах, Технології символьних перетворень, Формальні методи специфікації, верифікації та оптимізації програм, Формальні методи інженерії програмного забезпечення, Функціональне та логічне програмування, Цифрові валюти і блокчейн технології, Штучний інтелект і машинне навчання, Якість програмного забезпечення |
| 2022 | Web-програмування, Аналіз вимог до програмного забезпечення, Бази даних та інформаційні системи, Моделювання та аналіз програмного забезпечення, Моделювання та аналіз токеноміки, Основи програмної інженерії, Паралельні та розподілені обчислення, Програмування, Проектний практикум з фулстек розробки, Професійна практика програмної інженерії, Розробка смарт-контрактів у блокчейні, Технології блок-чейну в економіці та фінансах, Технології блокчейну в економіці та фінансах, Формальні методи специфікації, верифікації та оптимізації програм, Формальні методи інженерії програмного забезпечення, Функціональне та логічне програмування, Цифрові валюти і блокчейн технології, Якість програмного забезпечення та тестування, Інтелектуальні інформаційні системи |
XIII.
Наукові проєкти
2
| Дата початку виконання дослідницької роботи | Дата завершення виконання дослідницької роботи | Назва наукового проекту | Тип наукового проекту | Роль учасника в науковому проекті |
|---|---|---|---|---|
| 2023 | 2023 | Забезпечення розвитку наукового напряму «Технічні науки» Херсонським державним університетом у 2023 році | Держбюджетний НДР | Виконавець |
| 2022 | 2022 | Забезпечення розвитку наукового напряму "Технічні науки" Херсонським державним університетом у 2022 році. | Держбюджетний НДР | Виконавець |
XIV.
Міжнародні проєкти (фінансовані)
1
| Дата початку реалізації проєкту | Дата завершення реалізації проєкту | Назва проєкту | Роль виконавця у проєкті |
|---|---|---|---|
| 2023 | 2025 | Персоналізована модель навчання студентів на основі віртуального навчального середовища інтелектуального репетиторства «Навчання без обмежень» (SMART-PL) | Виконавець |
XV.
Експертні ради
1
| Дата початку роботи у вченій раді | Дата завершення роботи у вченій раді | Назва ради | Тип ради | Тип участі | Покликання на сторінку ради / Сторінку захисту в інформаційній системі НАЗЯВО або на сайті ЗВО |
|---|---|---|---|---|---|
| 2025 | 2025 | PhD 10362_захист Савченка С.О. | Разова | Член ради | https://ksu24.kspu.edu/s/hz9W3 |
XVI.
Редакційна діяльність
4
| Рік | Позиція | Видання | Категорія | Квартиль | Посилання |
|---|---|---|---|---|---|
| 2022 | Член редколегії | Збірник наукових праць "Information Technologies in Education" | Б | Відсутній | https://ite.kspu.edu/index.php/ite/about/editorialTeam |
| 2023 | Член редколегії | Збірник наукових праць "Information Technologies in Education" | Б | Відсутній | https://ite.kspu.edu/index.php/ite/about/editorialTeam |
| 2024 | Член редколегії | Збірник наукових праць "Information Technologies in Education" | Б | Відсутній | https://ite.kspu.edu/index.php/ite/about/editorialTeam |
| 2025 | Член редколегії | Збірник наукових праць "Information Technologies in Education" | Б | Відсутній | https://ite.kspu.edu/index.php/ite/about/editorialTeam |
XVII.
Нагороди та відзнаки
6
| Дата | Назва нагороди | Тип |
|---|---|---|
| 2016 | Грамота | ХДУ |
| 2017 | Грамота | ХДУ |
| 2017 | Почесна грамота | ХДУ |
| 2019 | Подяка Депар.освіти,науки та молоді облдержадмін. | Обласні, міські відзнаки |
| 2020 | Премія Верховноїх Ради України молод. учен. за 201 | Державні нагороди |
| 2021 | Почесна грамота міського голови | Обласні, міські відзнаки |