Песчаненко Володимир Сергійович
ПЕСЧА́НЕНКО Володимир Сергійович (20. 08. 1981, м. Скадовськ Херсонської обл.) — фахівець у галузі програмного забезпечення. Доктор фізико-математичних наук (2015), професор (2019). Заслужений діяч науки і техніки України (2021). Закінчив Херсонський університет (2004), де відтоді й працює (2022 евакуйований у Івано-Франківськ): 2006—07 — завідувач лабораторії з розроблення та впровадження педагогічних програмних засобів НДІ інформаційних технологій, 2007—15 — доцент кафедри інформатики, 2015—19 — професор, від 2019 — завідувач кафедри компʼютерних наук та програмної інженерії. Наукові дослідження: інсерційне моделювання, алгебричне програмування, формалізація, верифікація, тестування білої скриньки, тестування моделями, символьне моделювання, дедуктивні системи, математичне педагогічне програмне забезпечення, алгоритми компʼютерної алгебри, системи переписування термінів, блокчейн, протоколи консенсусу, токеноміка, машинне навчання, кібербезпека.
Додаткові відомості
- Основні праці
- Our approach to Formal Verification of Token Economy Models // Communications in Computer and Information Science. 2020. Vol. 1175; Algebraic Virtual Machine Project // Communications in Computer and Information Science. 2022; Fuzz Testing Technique and its Use in Cybersecurity // Cybernetics and Systems Analysis. 2022. Vol. 58, № 1; Insertion semantics of VHDL as electronic design language // Там само. № 2; P4Testgen: An Extensible Test Oracle For P4-16 // Proceedings of the ACM SIGCOMM 2023 Conference, September 2023, Pages 136–151. 2023 (усі — співавт.).
Завантажити статтю
Людина 