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

I. Поточні посади 3

Назва посади	Назва підрозділу
Завідувач кафедри, професор	Факультет комп'ютерних наук, фізики та математики
Завідувач кафедри, професор	Факультет комп'ютерних наук, фізики та математики
Професор	Факультет комп'ютерних наук, фізики та математики

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

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

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

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

Дата отримання	Ступінь	Документ
2007	Кандидат наук	Диплом
2015	Доктор наук	Диплом

IV. Освіта 1

Дата	Заклад освіти	Документ
2004	Херсонський державний ун-т	Диплом

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

Платформа	H-індекс	Кількість документів	Кількість цитувань
Orcid	—	—	—
Web of Science	—	—	—
Scopus	5.0	50.0	113.0
Google Scholar	9.0	76.0	321.0

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.0	P4Testgen: An Extensible Test Oracle For P4-16	10.1145/3603269.3604834	—	—
2023.0	Algebraic Modeling System for Supporting Research in Medicine and Pharmacology	10.1109/IDAACS58523.2023.10348778	—	—
2022.0	Algebraic Approach in Molecular Modeling	10.1109/ICECCME55909.2022.9988227	—	—
2022.0	Algebraic Virtual Machine and Its Applications	10.1007/978-3-031-20834-8_2	—	—
2022.0	Applying Algebraic Virtual Machine to Cybersecurity Tasks	10.1109/SETIT54465.2022.9875895	—	—
2022.0	Algebraic Modeling of Molecular Interactions	10.1007/978-3-031-14841-5_25	—	—
2022.0	Algebraic Virtual Machine Project	10.1007/978-3-031-14841-5_23	—	—
2022.0	Consensus Protocol Security Analysis Using an Algebraic Virtual Machine	—	—	—
2022.0	Fuzz Testing Technique and its Use in Cybersecurity Tasks	10.1007/s10559-022-00445-2	—	—
2022.0	Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems	10.1007/978-3-031-20834-8_9	—	—
2022.0	Consensus protocol security analysis using an algebraic virtual machine.	—	—	—
2022.0	Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra	10.1007/s10559-022-00482-x	—	—
2022.0	Insertion Semantics of VHDL as Electronic Design Languge	10.1007/s10559-022-00461-2	—	—
2021.0	Formal Methods of FPGA Project Verification Flow	10.1109/IDAACS53288.2021.9660906	—	—
2020.0	Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices	10.1007/s10559-020-00289-8	—	—
2020.0	Platform for modeling of algebraic behavior: Experience and conclusions	—	—	—
2020.0	Our Approach to Formal Verification of Token Economy Models	10.1007/978-3-030-39459-2_16	—	—
2019.0	Formalization and algebraic modeling of tokenomics projects	—	—	—
2019.0	An Overview of the Modern Methods of Security and Protection of Software Systems	10.1007/s10559-019-00194-9	—	—
2019.0	Algebraic Matching of Vulnerabilities in a Low-Level Code	10.22042/isecure.2019.11.0.1	—	—
2019.0	Algebraic approach to verification and testing of distributed applications	10.1145/3343147.3343159	—	—
2019.0	Algebraic Patterns of Vulnerabilities in Binary Code	10.1109/DESSERT.2019.8770033	—	—
2019.0	Formal verification of token economy models	10.1109/BLOC.2019.8751318	—	—
2019.0	Random re-ordering of the parties in the consensus protocol	—	—	—
2019.0	Formalization and algebraic modeling of university economics	—	—	—
2018.0	Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas	10.1007/s10559-018-0102-4	—	—
2018.0	Use of metods of algebraic programming for the formal verification of legal acts	—	—	—
2018.0	Preface	—	—	—
2017.0	An algebraic approach for analyzing of legal requirements	10.1109/REW.2017.51	—	—
2017.0	The canonical forms of logical formulae over the data types and their using in programs verification	—	—	—
2017.0	Formalization and algebraic verification of legal requirements	—	—	—
2017.0	Preface	—	—	—
2016.0	Symbolic modelling in white-box model-based testing	10.1109/AIMS.2015.46	—	—
2015.0	Insertion modeling and symbolic verification of large systems	10.1007/978-3-319-24912-4_1	—	—
2015.0	An interleaving reduction for reachability checking in symbolic modeling	—	—	—
2015.0	Preface	—	—	—
2015.0	Generating Symbolic Traces in the Insertion Modeling System	10.1007/s10559-015-9691-3	—	—
2015.0	Approach to behavior scenarios debugging	10.3103/S0146411615070068	—	—
2014.0	Approach to behavior scenarios debugging	—	—	—
2013.0	Invariants in symbolic modeling and verification of requirements	10.1109/CSITechnol.2013.6710332	—	—
2013.0	About one efficient algorithm for reachability checking in modeling and its implementation	10.1007/978-3-642-35737-4_9	—	—
2013.0	An approach to creating concretized test scenarios within test automation technology for industrial software projects	10.3103/S0146411613070213	—	—
2013.0	SMSV Foreword	—	—	—
2013.0	Specializations and symbolic modeling	—	—	—
2013.0	Specializations in Symbolic Verification	10.1007/978-3-319-03998-5_17	—	—
2013.0	Mixed concrete-symbolic predicate transformer	—	—	—
2013.0	Specializations and Symbolic Modeling.	—	—	—
2013.0	Preface	—	—	—
2013.0	Partial evaluation in insertion modeling system	—	—	—
2012.0	Overview of modern systems and verification methods of formal models	—	—	—
2012.0	Insertion modeling system	10.1007/978-3-642-29709-0_23	—	—
2012.0	An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects	—	—	—
2012.0	An Approach of Creating a Technology of Test Automation for Industrial Software Projects	—	—	—
2012.0	Survey on modern tools and methods of formal models verification	—	—	—
2012.0	Foreword	—	—	—
2012.0	Efficient algorithm for reachability checking in modeling	—	—	—
2012.0	Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling	10.1007/s10559-012-9475-y	—	—
2011.0	Insertion modeling system and constraint programming	—	—	—
2010.0	Simple non-deterministic rewriting in verification	—	—	—
2010.0	Properties of a predicate transformer of the VRS system	10.1007/s10559-010-9229-7	—	—
2008.0	APS C++ User's Library	—	—	—
1998.0	Algebraic programming system APS (user manual) Glushkov Institute of Cybernetics	—	—	—

VIII. Публікації у наукових фахових виданнях (архів) 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

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

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

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

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

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

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

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

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

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