Песчаненко Володимир Сергійович — Херсонський державний університет

I. Додаток до картки НПП

Картка містить досягнення за пунктами постанови КМУ. Заповнені пункти виділено — натисніть, щоб розкрити.

16 17 18

1 наявність не менше п’яти публікацій у періодичних виданнях, що включені до переліку фахових видань України, до наукометричних баз, рекомендованих МОН, зокрема Scopus або Web of Science Core Collection

1. Understanding Single-Function Reentrancy Attacks (2025)/ Rud, V., Peschanenko, V. // In: Ermolayev, V., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2024. Communications in Computer and Information Science, vol 2359. Springer, Cham. https://doi.org/10.1007/978-3-031-81372-6_18
2. Usage of Cognitive Networks for Cyberattack Detection and Prevention (2025)/ Letychevskyi, O., Peschanenko, V. // In: Ermolayev, V., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2024. Communications in Computer and Information Science, vol 2359. Springer, Cham. https://doi.org/10.1007/978-3-031-81372-6_6
3. Peschanenko, V., Poltorackiy, M., Konnova, O. (2025). Verification of Smart Contract Code Generated by Applying Artificial Intelligence. In: Ermolayev, V., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2024. Communications in Computer and Information Science, vol 2359. Springer, Cham. https://doi.org/10.1007/978-3-031-81372-6_1
4. A. Topalov, T. Styslo, V. Tkach, V. Peschanenko, O. Styslo and R. Skrypyuk, "Evaluation of the Energy Efficiency of Software Calculations in the Design of Microcontroller Devices," 2024 IEEE 17th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET), Lviv, Ukraine, 2024, pp. 478-481, doi: 10.1109/TCSET64720.2024.10755878
5. Overview of Vulnerabilities in Smart Contract Written in Solidity, // Journal of Information Technologies in Education (ITE), Issue 56, pp. 58-76, 2024
6. Algebraic Modeling System for Supporting Research in Medicine and Pharmacology / O. Letychevskyi; Y. Tarasich; V. Peschanenko // 2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Dortmund, Germany, 2023, pp. 1093-1098, doi: 10.1109/IDAACS58523.2023.10348778
7. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL / O. Letychevskyi, V. Peschanenko, M. Poltoratskyi, O. Konnova // Journal of Information Technologies in Education (ITE), Issue 54, pp. 37-51, 2023
8. P4Testgen: An Extensible Test Oracle For P4-16 / F. Ruffy, J. Liu, P. Kotikalapudi, V. Havel, H. Tavante, R. Sherwood, V. Dubina, V. Peschanenko, A. Sivaraman, N. Foster // ACM SIGCOMM '23: Proceedings of the ACM SIGCOMM 2023 Conference, September 2023, Pages 136–151, doi: https://doi.org/10.1145/3603269.3604834
9. P4Testgen: An Extensible Test Oracle For P4-16 / F. Ruffy, J. Liu, P. Kotikalapudi, V. Havel, H. Tavante, R. Sherwood, V. Dubina, V. Peschanenko, A. Sivaraman, N. Foster // ACM SIGCOMM '23: Proceedings of the ACM SIGCOMM 2023 Conference, September 2023, Pages 136–151, doi: https://doi.org/10.1145/3603269.3604834
10. Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems / O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, 2022, 1698 CCIS, pp. 180–202, https://doi.org/10.1007/978-3-031-20834-8_9
11. Algebraic Approach to the Legal Documents /O. O. Letychevskyi, V. S. Peschanenko, M. Yu. Poltorackiy // Prombles in programming 2022; 3-4: 117-127
12. Formal Semantics and Analysis of Tokeamics Properties / O. O. Letychevskyi, V. S. Peschanenko, M. Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Prombles in programming 2022; 3-4: 128-138
13. Algebraic Virtual Machine Project / Letychevskyi, O., Peschanenko, V., Volkov, V. // Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 353–364
14. Algebraic Modeling of Molecular Interactions / Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H.// Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 379–387
15. Fuzz Testing Technique and its Use in Cybersecurity Tasks / O. Letychevskyi, V. Peschanenko, Y. Hryniuk // Cybernetics and Systems Analysis, 2022, 58(1), pp. 157–163
16. O. Letychevskyi and V. Peschanenko, "Applying Algebraic Virtual Machine to Cybersecurity Tasks," 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2022, pp. 161-169, doi: 10.1109/SETIT54465.2022.9875895.
17. Modern methods and software systems of molecular modeling and application of behavior algebra / O. Letychevskyi, V. Volkov, Yu. Tarasich, G. Sokolova, V. Peschanenko // Kibernetyka ta sistemnyi analiz. 2022. Vol. 58, N 3. P. 150–163.

2 наявність одного патенті на винахід або п’яти деклараційних патентів на винахід чи корисну модель, включаючи секретні, або наявність не менше п’яти свідоцтв про реєстрацію авторського права на твір

3 наявність виданого підручника чи навчального посібника (включаючи електронні) або монографії (загальним обсягом не менше п’яти авторських аркушів), в тому числі видані у співавторстві (обсягом не менше 1,5 авторського аркуша на кожного співавтора)

4 наявність виданих навчально-методичних посібників/ посібників для самостійної роботи здобувачів вищої освіти та дистанційного навчання, електронних курсів на освітніх платформах ліцензіатів, конспектів лекцій/практикумів/методичних вказівок/ рекомендацій/робочих програм,інших друкованих навчально-методичних праць загальною кількістю три найменування

5 захист дисертації на здобуття наукового ступеня

6 наукове керівництво (консультування) здобувача, який одержав документ про присудження наукового ступеня (прізвище, ім’я, по батькові дисертанта, здобутий науковий ступінь, спеціальність, назва дисертації, рік захисту, серія, номер, дата, ким виданий диплом)

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

Херсонський державний університет, Савченко, 2025
Херсонський дердавний університет, Лемещук, 2024

8 виконання функцій (повноважень, обов’язків) наукового керівника або відповідального виконавця наукової теми (проекту), або головного редактора/члена редакційної колегії/експерта (рецензента) наукового видання, включеного до переліку наукових фахових видань України, або іноземного наукового видання, що індексується в бібліографічних базах

Член редакційної колегії журналу «Інформаційні технологій в освіті» Херсонського державного університету

9 робота у складі експертних рад з питань проведення експертизи дисертацій МОН або у складі галузевої експертної ради як експерта Національного агентства із забезпечення якості вищої освіти, або у складі Акредитаційної комісії, або міжгалузевої експертної ради з вищої освіти Акредитаційної комісії, або трьох експертних комісій МОН/зазначеного Агентства, або Науково-методичної ради/ науково-методичних комісій (підкомісій) з вищої або фахової перед вищої освіти МОН,наукових/науково-методичних/експертних рад органів державної влади та місцевого самоврядування, або у складі комісій Державної служби якості освіти із здійснення планових (позапланових) заходів державного нагляду (контролю)

10 участь у міжнародних наукових та/або освітніх проєктах, залучення до міжнародної експертизи, наявність звання «суддя міжнародної категорії»

Students’ Personalised Learning Model, Based on the Virtual Learning Environment of Intellectual Tutoring “Learning with No Limits” (SMART-PL). - ERASMUS (2022-2025)
Symbolic rewriting methods for safety and security of critical cyber-physical systems - NATO (2023-2026)

11 наукове консультування підприємств, установ, організацій не менше трьох років, що здійснювалося на підставі договору із закладом вищої освіти (науковою установою)

12 наявність апробаційних та/або науково-популярних, та/ або консультаційних (дорадчих), та/або науково-експертних публікацій з наукової або професійної тематики загальною кількістю не менше п’яти публікацій

13 проведення навчальних занять із спеціальних дисциплін іноземною мовою (крім дисциплін мовної підготовки) в обсязі не менше 50 аудиторних годин на навчальний рік

14 керівництво студентом, який зайняв призове місце на I або ІІ етапі Всеукраїнської студентської олімпіади (Всеукраїнського конкурсу студентських наукових робіт), або робота у складі організаційного комітету/журі Всеукраїнської студентської олімпіади (Всеукраїнського конкурсу студентських наукових робіт), або керівництво постійно діючим студентським науковим гуртком/проблемною групою; керівництво студентом, який став призером або лауреатом Міжнародних, Всеукраїнських мистецьких конкурсів, фестивалів та проектів, робота у складі організаційного комітету або у складі журі міжнародних, всеукраїнських мистецьких конкурсів, інших культурно-мистецьких проектів (для забезпечення провадження освітньої діяльності на третьому (освітньо-творчому рівні); керівництво здобувачем, який став призером або лауреатом міжнародних мистецьких конкурсів, фестивалів, віднесених до Європейської або Всесвітньої (Світової) асоціації мистецьких конкурсів, фестивалів, робота у складі організаційного комітету або у складі журі зазначених мистецьких конкурсів, фестивалів); керівництво студентом, який брав участь в Олімпійських, Паралімпійських іграх, Всесвітній та Всеукраїнській Універсіаді, чемпіонаті світу, Європи, Європейських іграх, етапах Кубка світу та Європи, чемпіонаті України; виконання обов’язків тренера, помічника тренера національної збірної команди України з видів спорту; виконання обов’язків головного секретаря, головного судді, судді міжнародних та всеукраїнських змагань; керівництво спортивною делегацією; робота у складі організаційного комітету, суддівського корпусу

15 керівництво школярем, який зайняв призове місце III—IV етапу Всеукраїнських учнівських олімпіад з базових навчальних предметів, II—III етапу Всеукраїнських конкурсів-захистів науково-дослідницьких робіт учнів — членів Національного центру “Мала академія наук України”; участь у журі III—IV етапу учнівських олімпіад з базових навчальних предметів чи ІІ-ІІ етапу Всеукраїнських конкурсів-захистів науково-дослідницьких робіт учнів – членів Національного центра “Мала академія наук України” (крім третього (освітньо-наукового/освітньо-творчого) рівня )

19 діяльність за спеціальністю у формі участі у професійних та/або громадських об’єднаннях

Науково-методична комісія сектору вищої освіти НМР МОН України (2016-2019, 2019-по теперішній час; підкомісія 122 – комп’ютерні науки)

20 досвід практичної роботи за спеціальністю (спеціалізацією)/професією не менше п’яти років (крім педагогічної, науково-педагогічної, наукової діяльності) із зазначенням посади та строку роботи на цій посаді

2018-зараз – CTO Garuda AI
2019-зараз - директор ПП ЛітСофт
2020 - по теперішній час директор приватного підприємства ЛітСофт

Стаж Повних років стажу науково-педагогічної діяльності

21 років

ПК Підвищення кваліфікації / стажування

Інститут кібернетики імені В.М. Глушкова НАН України, Впровадження інноваційних технологій при викладанні курсу “Формальні методи специфікації, верифікації та оптимізації програм”, свідоцтво про підвищення кваліфікації, 4 кредити, №03-32/544 від 3 квітня 2024

II. Освіта 1

Дата	Освітній ступінь	Заклад	Спеціальність	Кваліфікація	Документ	Серія / №
2004	Спеціаліст	Херсонський державний ун-т	інформатика	інженера-програміста	Диплом	ХЕ ••••••

III. Науковий ступінь 2

Дата	Науковий ступінь	Заклад	Спеціальність	Документ	Серія / №
2015	Доктор наук	Ін-т кібернетики ім. В.М.Глушкова НАН України	фізико-математичні	Диплом	ДД ••••••
2007	Кандидат наук	Інститут кібернетики ім. В.М.Глушкова НАН України	фізика- математика	Диплом	ДК ••••••

IV. Вчене звання 2

Дата	Вчене звання	Документ	Серія / №
2019	Професор	Атестат	АП ••••••
2011	Доцент	Атестат	—

V. Дослідницькі профілі 4

Платформа	H-індекс	Кількість документів	Кількість цитувань
Orcid	—	—	—
Web of Science	—	—	—
Scopus	5	50	113
Google Scholar	9	76	321

VI. H-індекс за роками 6

Рік	H-індекс	Посилання на профіль
2026	10	https://scholar.google.com.ua/citations?hl=ru&user=flI2UxkA…
2026	6	https://www.scopus.com/authid/detail.uri?authorId=361903026…
2026	5	https://www.webofscience.com/wos/author/record/205533
2025	9	https://scholar.google.com.ua/citations?hl=ru&user=flI2UxkA…
2025	6	https://www.scopus.com/authid/detail.uri?authorId=361903026…
2025	1	https://www.webofscience.com/wos/author/record/205533

VII. Статті 64

Рік	Назва	ID цифрового об'єкту	ISSN	Посилання на статтю
—	Non-Deterministic Rewriting & Its Application	—	—	—
—	Alexander Letichevsky Glushkov Institute of Cybernetics Kiev, Ukraine	—	—	—
2023	P4Testgen: An Extensible Test Oracle For P4-16	10.1145/3603269.3604834	—	—
2023	Algebraic Modeling System for Supporting Research in Medicine and Pharmacology	10.1109/IDAACS58523.2023.10348778	—	—
2022	Algebraic Approach in Molecular Modeling	10.1109/ICECCME55909.2022.9988227	—	—
2022	Algebraic Virtual Machine and Its Applications	10.1007/978-3-031-20834-8_2	—	—
2022	Applying Algebraic Virtual Machine to Cybersecurity Tasks	10.1109/SETIT54465.2022.9875895	—	—
2022	Algebraic Modeling of Molecular Interactions	10.1007/978-3-031-14841-5_25	—	—
2022	Algebraic Virtual Machine Project	10.1007/978-3-031-14841-5_23	—	—
2022	Consensus Protocol Security Analysis Using an Algebraic Virtual Machine	—	—	—
2022	Fuzz Testing Technique and its Use in Cybersecurity Tasks	10.1007/s10559-022-00445-2	—	—
2022	Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems	10.1007/978-3-031-20834-8_9	—	—
2022	Consensus protocol security analysis using an algebraic virtual machine.	—	—	—
2022	Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra	10.1007/s10559-022-00482-x	—	—
2022	Insertion Semantics of VHDL as Electronic Design Languge	10.1007/s10559-022-00461-2	—	—
2021	Formal Methods of FPGA Project Verification Flow	10.1109/IDAACS53288.2021.9660906	—	—
2020	Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices	10.1007/s10559-020-00289-8	—	—
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 tokenomics projects	—	—	—
2019	An Overview of the Modern Methods of Security and Protection of Software Systems	10.1007/s10559-019-00194-9	—	—
2019	Algebraic Matching of Vulnerabilities in a Low-Level Code	10.22042/isecure.2019.11.0.1	—	—
2019	Algebraic approach to verification and testing of distributed applications	10.1145/3343147.3343159	—	—
2019	Algebraic Patterns of Vulnerabilities in Binary Code	10.1109/DESSERT.2019.8770033	—	—
2019	Formal verification of token economy models	10.1109/BLOC.2019.8751318	—	—
2019	Random re-ordering of the parties in the consensus protocol	—	—	—
2019	Formalization and algebraic modeling of university economics	—	—	—
2018	Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas	10.1007/s10559-018-0102-4	—	—
2018	Use of metods of algebraic programming for the formal verification of legal acts	—	—	—
2018	Preface	—	—	—
2017	An algebraic approach for analyzing of legal requirements	10.1109/REW.2017.51	—	—
2017	The canonical forms of logical formulae over the data types and their using in programs verification	—	—	—
2017	Formalization and algebraic verification of legal requirements	—	—	—
2017	Preface	—	—	—
2016	Symbolic modelling in white-box model-based testing	10.1109/AIMS.2015.46	—	—
2015	Insertion modeling and symbolic verification of large systems	10.1007/978-3-319-24912-4_1	—	—
2015	An interleaving reduction for reachability checking in symbolic modeling	—	—	—
2015	Preface	—	—	—
2015	Generating Symbolic Traces in the Insertion Modeling System	10.1007/s10559-015-9691-3	—	—
2015	Approach to behavior scenarios debugging	10.3103/S0146411615070068	—	—
2014	Approach to behavior scenarios debugging	—	—	—
2013	Invariants in symbolic modeling and verification of requirements	10.1109/CSITechnol.2013.6710332	—	—
2013	About one efficient algorithm for reachability checking in modeling and its implementation	10.1007/978-3-642-35737-4_9	—	—
2013	An approach to creating concretized test scenarios within test automation technology for industrial software projects	10.3103/S0146411613070213	—	—
2013	SMSV Foreword	—	—	—
2013	Specializations and symbolic modeling	—	—	—
2013	Specializations in Symbolic Verification	10.1007/978-3-319-03998-5_17	—	—
2013	Mixed concrete-symbolic predicate transformer	—	—	—
2013	Specializations and Symbolic Modeling.	—	—	—
2013	Preface	—	—	—
2013	Partial evaluation in insertion modeling system	—	—	—
2012	Overview of modern systems and verification methods of formal models	—	—	—
2012	Insertion modeling system	10.1007/978-3-642-29709-0_23	—	—
2012	An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects	—	—	—
2012	An Approach of Creating a Technology of Test Automation for Industrial Software Projects	—	—	—
2012	Survey on modern tools and methods of formal models verification	—	—	—
2012	Foreword	—	—	—
2012	Efficient algorithm for reachability checking in modeling	—	—	—
2012	Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling	10.1007/s10559-012-9475-y	—	—
2011	Insertion modeling system and constraint programming	—	—	—
2010	Simple non-deterministic rewriting in verification	—	—	—
2010	Properties of a predicate transformer of the VRS system	10.1007/s10559-010-9229-7	—	—
2008	APS C++ User's Library	—	—	—
1998	Algebraic programming system APS (user manual) Glushkov Institute of Cybernetics	—	—	—

VIII. Наукові журнали 17

Журнал	Публікацій	ISSN
CEUR Workshop Proceedings	18	16130073
Cybernetics and Systems Analysis	9	10600396 15738337
Communications in Computer and Information Science	7	18650937 18650929
Automatic Control and Computer Sciences	2	01464116
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	2	16113349 03029743
2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications, SETIT 2022	1	—
ACM International Conference Proceeding Series	1	—
Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies, DESSERT 2019	1	—
CSIT 2013 - 9th International Conference on Computer Science and Information Technologies, Revised Selected Papers	1	—
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency	1	—
International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2022	1	—
ISeCure	1	20083076 20082045
Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017	1	—
Proceedings - AIMS 2015, 3rd International Conference on Artificial Intelligence, Modelling and Simulation	1	—
Proceedings of the 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2021	1	—
Proceedings of the IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS	1	27704254 27704262
SIGCOMM 2023 - Proceedings of the ACM SIGCOMM 2023 Conference	1	—

IX. Публікації у наукових фахових виданнях (архів) 4

Рік	Назва	Видання	DOI
2024	OVERVIEW OF VULNERABILITIES IN SMART CONTRACTS WRITTEN IN SOLIDITY	Journal of Information Technologies in Education (ITE)	https://doi.org/10.14308/ite000787
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
2022	Algebraic approach to the analysis of legal documents	Problems of Programming	https://doi.org/10.15407/pp2022.03-04.117
2022	Formal semantics and analysis of tokenomics properties	Problems of Programming	https://doi.org/10.15407/pp2022.03-04.128

X. Журнали навчальних занять 4

Навчальний рік	Дисципліни
2025	Аспіранська практика, Блокчейн технології, Весна 2026. Лекції. Формальні методи специфікації, верифікації та оптимізації програм, Виробнича практика, Захист кваліфікаційних робіт (проєктів), Консультація. Формальні методи програмної інженерії, Курсові роботи з фахових дисциплін, Методи та технології алгебраїчного програмування та інсерційного моделювання, Модуль 1. Математичне моделювання систем і процесів (нейронечітке моделювання), Модуль 2. Інженерія програмного забезпечення, Навчальна практика, Осінь2025. Формальні методи програмної інженерії, Переддипломна практика, Розподілені програмні системи, Розподілені програмні системи Розподілені програмні системи, Формальні методи програмної інженерії, Формальні методи специфікації, верифікації та оптимізації програм, Формальні методи інженерії програмного забезпечення, Інженерія програмного забезпечення
2024	Блокчей технології, Блокчейн технології, Виробнича практика, Захист кваліфікаційної роботи, Математичне моделювання систем іпроцесів (нейронечітке моделювання), Методи розробки розподілениї програмних систем, Методи та технології алгебраїчного програмування та інсерційного моделювання, Навчальна практика, Переддипломна практика, Системна інженерія програмного забезпечення, Формальні методи специфікації, верифікації та оптимізації програм, Формальні методи інженерії програмного забезпечення, Інженерія програмного забезпечення
2023	Виробнича практика, Курсові роботи з фахових дисциплін, Методи розробки розподілених програмних систем, Методи та технології алгебраїчного програмування та інсерційного моделювання, Навчальна практика, Переддипломна практика, Системна інженерія програмного забезпечення, Формальні методи програмної інженерії, Формальні методи специфікації, верифікації та оптимізації програм, Формальні метоли програмної інженерії, Інженерія програмного забезпечення, Інсерційне моделювання
2022	Методи розробки розподілених програмних систем, Методи та технології алгебраїчного програмування та інсерційного моделювання, Системна інженерія програмного забезпечення, Формальні методи специфікації, верифікації та оптимізації програм, Формальні методи інженерії програмного забезпечення, Інженерія програмного забезпечення, Інтелектуальні прикладні програми

XI. Наукові проєкти 2

Дата початку виконання дослідницької роботи	Дата завершення виконання дослідницької роботи	Назва наукового проекту	Тип наукового проекту	Роль учасника в науковому проекті
2023	2023	Забезпечення розвитку наукового напряму «Технічні науки» Херсонським державним університетом у 2023 році	Держбюджетний НДР	Науковий керівник
2022	2022	Забезпечення розвитку наукового напряму "Технічні науки" Херсонським державним університетом у 2022 році.	Держбюджетний НДР	Науковий керівник

XII. Міжнародні проєкти (фінансовані) 1

Дата початку реалізації проєкту	Дата завершення реалізації проєкту	Назва проєкту	Роль виконавця у проєкті
2023	2026	«Символьні методи переписування для забезпечення безпеки та надійності критичних кібер-фізичних систем»	Координатор

XIII. Експертні ради 2

Дата початку роботи у вченій раді	Дата завершення роботи у вченій раді	Назва ради	Тип ради	Тип участі	Покликання на сторінку ради / Сторінку захисту в інформаційній системі НАЗЯВО або на сайті ЗВО
2025	2025	PhD 10362_захист Савченка С.О.	Разова	Голова ради	https://ksu24.kspu.edu/s/hz9W3
2024	2024	Спецрада 19615 Херсонський державний університет	Разова	Голова ради	https://ksu24.kspu.edu/s/5JWta

XIV. Редакційна діяльність 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

XV. Нагороди та відзнаки 10

Дата	Назва нагороди	Тип
2005	Грамота	ХДУ
2007	Почесна грамота	ХДУ
2010	Лауреат Премії Верховної Ради України	Державні нагороди
2016	Грамота	ХДУ
2017	Грамота Верховної Ради України	Державні нагороди
2019	Поч.грамота голови облдержадмін.	Обласні, міські відзнаки
2019	Почесна грамота	ХДУ
2020	Подяка	Відомчі відзнаки МОН
2020	Премія Верховної Ради України молодим ученим за 20	Державні нагороди
2021	"Заслужений діяч науки і техніки України"	Почесні звання