Location History:
- Haifa, IL (2012)
- Netanya, IL (2014 - 2019)
Company Filing History:
Years Active: 2012-2019
Title: Dmitry Pidan: Innovator in Software Verification
Introduction
Dmitry Pidan is a notable inventor based in Netanya, Israel. He has made significant contributions to the field of software verification, holding a total of 8 patents. His work focuses on enhancing the reliability and efficiency of software systems, particularly in vehicular applications.
Latest Patents
Dmitry's latest patents include innovative methods for symbolic execution and formal verification. One of his key inventions is a method, apparatus, and product for symbolic execution of alternative branches. This method involves reaching a branching node in a Control Flow Graph (CFG) of a program and executing both branches to determine their respective symbolic states. Another significant patent is related to unit-level formal verification for vehicular software systems. This method prepares a software component for verification by generating a wrapper program and determining inputs based on a design model.
Career Highlights
Dmitry Pidan is currently employed at International Business Machines Corporation (IBM), where he continues to develop cutting-edge solutions in software verification. His expertise in symbolic execution and formal verification has positioned him as a leader in his field.
Collaborations
Dmitry has collaborated with several talented individuals, including Allon Adir and Fady Copty. These collaborations have further enriched his work and contributed to the advancement of software verification technologies.
Conclusion
Dmitry Pidan's innovative contributions to software verification demonstrate his commitment to improving the reliability of software systems. His patents reflect a deep understanding of complex software processes and a dedication to advancing technology in this critical area.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.