Volodymyr Peschanenko

Doctor of Science, Professor, ACM member

working area: insertion modelling, algebraic programming, formalization, verification, white-box testing, model base testing, symbolic modelling, deductive systems, mathematical pedagogical software, computer algebra algorithms, term rewriting systems, blockchain, consensus protocols, tokenomic, machine learning, cybersecurity

Awards: Honored Scientist of Ukraine (2021), Diploma of Verhovna Rada of Ukraine (25.09.2017, in Ukranian), Grant of the Government of Ukraine for young scientists (No. 207, 2016, in Ukrainian), Laureate of the award of Verhovna Rada of Ukraine for talented young scientists in the field of fundamental and applied research, scientific and technological development (2009, in Ukrainian)

Software:

Algebraic Programming System (APS)
Insertion Modelling System (IMS)
Verification of Requirements Specification (VRS)
Algebraic Virtual Machine

Projects:

NATO, SPS G6133 "Symbolic Rewriting Methods for Safety and Security of Critical Cyber-Physical Systems"
Establishing Modern Master-level Studies in Information Systems (MASTIS)
CC4U2 educational program for Computer Sciences for Ukrainian Universities (Tempus JEP-27237-2006)
Austrian-Ukrainian project "CENREC" (A virtual CEntre for Nonlinear REsonance Computations)

Universities:

Google Sites

Report abuse