Volodymyr Peschanenko Email and Phone Number
As a Research Software Engineer with 20+ years of experience, I am dedicated to leveraging cutting-edge technologies and methodologies to address complex challenges in various domains. With a background as professor in computer science and software engineering, I have contributed to the development of embedded & innovative software solutions for diverse applications. I’m a main developer for two research software - Algebraic Programming System and Insertion Modeling System, which are used for student's education and for development of different types of research software. Throughout my career, I have demonstrated a commitment to advancing the field through continuous learning, collaboration, and the practical application of research findings.STRENGTHSAlgorithm Research, Formal methods tools developmentDevelopment of SMT Provers and Quantifiers Elimination AlgorithmsCalculation Algorithms for Weakest Precondition and Strongest PostconditionsMathematical Description of Algorithms, Machine Learning (ML)C++, Java, Python, Rust, R, PHP, Ruby, P4, JavaScript, Bash, SQL, MySQL, MongoDB, MPI, JNI, LinuxHonors: 2021: Honored Worker of Science and Technology of Ukraine2017: Diploma of the Verkhovna Rada of Ukraine "For services to the Ukrainian people"2016: Grant of the Government of Ukraine for the Young Scientists2009: 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 Lecturer of the next subjects: software’s modeling and analysis, technologies of symbolic computations, formal methods of software’s verifications, specifications and optimizations, formal methods of software engineering, methods and technologies of algebraic programming and insertion modeling.Publications: The author has more than 100 publications (including papers in scientific journals, conference proceedings and methodical recommendations etc). Co-author of the next commercial software: PMC "Videointerpreter for Searching and Sorting Algorithms", PMC TerM 7 "Support of the Practical Mathematical Activity", PMC TerM 7-9 "Support of the Practical Mathematical Activity", PSW Library of Electronic Presentations "Algebra 7-9", PSW "Algebra, Grade 7", PSW "Algebra, Grade 8", Integrated Environment for Educational Purposes "Analytic Geometry".Co-author of the next industrial software: Verification of Requirement Specifications (VRS), Generic Trace Generator (GTG).Co-author of the next research software: Algebraic Programming System, Insertion Modeling System.
-
Leading ResearcherGaruda.Ai May 2018 - PresentAt Garuda AI, a company specializing in supporting crypto startups, my role revolves around applying algebraic methods to various models originating from Blockchain technology. Specifically, I lead the development of a tool for designing tokenomics for startups, enabling users to create customized tokenomics by selecting from a range of developed features. Additionally, I actively contribute to the development of the MVP for the tokenomics constructor, a web service empowering users to create and analyze their own tokenomics.What I’m most proud of:Developed Algebraic Virtual Machine – a suite of formal methods tools with broad applications in Blockchain, hardware verification, and cybersecurity.Addressed memory leakage bugs within the Algebraic Programming System, enhancing its stability and enabling its use as a foundational system for various verification systems, including the Insertion Modeling System, Verification of Requirement Specification system, Algebraic Virtual Machine library, among others.Key responsibilities:Building algebraic models for tokenomics, constructing algebraic models for consensus protocolsPlanning, strategizing, and executing software solutions, encompassing embedded software developmentTraining, deploying, and refining ML modelsConstructing and optimizing data processing and analysis workflowsAdvocating for and fostering reproducible and open research methodologiesConducting audits of smart contracts to ensure their integrity and securitySecure coding (algebraic approach for vulnerability finding) -
ProfessorKherson State University Dec 2015 - PresentKherson Region, Ukraine -
Head Of Development Of Software Egineering And Computer ScienceKherson State University May 2021 - Present
-
Chief Executive OfficerPe Litsoft Jan 2021 - PresentVerification, Algebraic Modeling, Cybersecurity, Test Generation, Machine Learning
-
Research Software EngineerUropean Recruitment Limited Jun 2022 - Jun 2023My primary focus was on applying algebraic methods to models of the System Verilog language.What I’m most proud of:Built Algebraic Semantics: I spearheaded the construction of algebraic semantics for the System Verilog language. This foundational work provided a clear understanding of the language's behavior and paved the way for subsequent modeling and analysis efforts.Developed Slice Generation Algorithm: I led the development and implementation of a novel slice generation algorithm tailored specifically for System Verilog models. This algorithm enabled efficient extraction of relevant portions of the models for further analysis and verification.Invariant Generation Method: I devised and implemented a method for generating invariants to facilitate the verification of System Verilog programs' models. This approach enhanced the reliability and rigor of verification processes.Utilized Algebraic Semantics: The algebraic semantics of the System Verilog language that my team constructed served as a foundational framework for creating algebraic models. Through extensive experimentation with large-scale models, provided valuable insights and recommendations to enhance modeling approaches.
-
Research Software EngineerKelly Services Oct 2020 - Feb 2023In my role at Intel, I took charge of P4, a programming language utilized for controlling packet forwarding planes in networking devices like routers and switches. One of my significant achievements was spearheading the development of a test generation tool for the BMV2 P4 architecture.What I’m most proud of:Public Repository Inclusion: I successfully contributed the developed test generation tool to a public repository of the P4 compiler. This enables users worldwide to leverage the tool for adding other architectures and generating tests for their P4 programs.Loops Unrolling Algorithm: I led the development and implementation of an efficient loops unrolling algorithm, enhancing the performance and effectiveness of the test generation process.Control Settings Development: I played a pivotal role in designing and implementing control settings for the test generation engine, ensuring its adaptability to different scenarios and requirements.Integration with Z3 Prover: I orchestrated the integration of the test generation tool with the Z3 prover, enhancing its capabilities for automated reasoning and verification.BMV2 Architecture Semantics: I contributed to implementing the semantics of the BMV2 architecture, ensuring accuracy and compatibility with the P4 language specifications. -
Software EngineerInformation Software Systems Mar 2007 - Jun 2018Kyiv, Kyiv City, UkraineI served as a Research Software Engineer during my tenure at Information Software Systems (ISS) - specialized in applying formal methods to analyze requirements, and I contributed significantly to the development of the Verification of Requirement Specifications software. Successfully applied to analyze requirements in various domains, including WiMax requirements, the M.E.S.I. protocol, and business rule extraction from legacy code that enabled users to create models from textual representations and conduct research. I took part tin scientific work to prove that after fixing of vulnerability of “heart bleed” in OpenSSL source code this issue will never happens.
-
Associate ProfessorKherson State University Oct 2007 - Dec 2015Kherson Region, Ukraine
-
The Head Of Laboratory Of Pedagogical Software DevelopingKherson State University Sep 2006 - Oct 2007Kherson Region, Ukraine
-
Assistant Of The Department Of InformaticsKherson State University Sep 2004 - Sep 2007Kherson Region, Ukraine
-
Assistant Of The Laboratory Of Pedagogical Software DevelopingKherson State University Sep 2004 - Sep 2006Kherson Region, UkraineI became a member of the university's scientific group dedicated to developing educational mathematical software, focusing on implementing algebraic calculations. Throughout this project, my team received financial backing from the Ministry of Education and Science of Ukraine. Together, we crafted a diverse range of mathematical software solutions, which were subsequently distributed to all schools across Ukraine based on C++, Git, Java, and term rewriting systems.
Volodymyr Peschanenko Education Details
-
Computer Science
-
Glushkov Instistitute Of Cybernetics Of Nas Of UkraineComputer Science -
Computer Science
-
Glushkov Institute Of Cybernetics Of Nas Of UkraineMathematics And Computer Science
-
Computer Software Engineering
Frequently Asked Questions about Volodymyr Peschanenko
What company does Volodymyr Peschanenko work for?
Volodymyr Peschanenko works for Garuda.ai
What is Volodymyr Peschanenko's role at the current company?
Volodymyr Peschanenko's current role is Doctor of Computer Science.
What schools did Volodymyr Peschanenko attend?
Volodymyr Peschanenko attended Kherson State University, Glushkov Instistitute Of Cybernetics Of Nas Of Ukraine, Kherson State University, Glushkov Institute Of Cybernetics Of Nas Of Ukraine, Kherson State University.
Who are Volodymyr Peschanenko's colleagues?
Volodymyr Peschanenko's colleagues are Yuliia Tarasich.
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial