This inventor holds 1 USPTO granted patent. Top assignee: Cadence Design Systems, Inc.. Active years: 2020.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile
Company Filing History:
Years Active: 2020
Title: Hanna Nizar: Innovator in Design Code Analysis
Introduction
Hanna Nizar is a prominent inventor based in Karmiel, Israel. She has made significant contributions to the field of design code analysis, showcasing her expertise through her innovative patent.
Latest Patents
Hanna holds a patent titled "Method and system for combined formal static analysis of a design code." This method involves using a lint checker to perform Lint checks that identify suspected violations in design code. Additionally, it employs a formal static analyzer to conduct formal checks that correspond to these suspected violations. The process includes applying a formal proof technique to determine whether the suspected property is proven or disproved. If disproved, an alert is issued, enhancing the reliability of design code.
Career Highlights
Hanna Nizar is currently employed at Cadence Design Systems, Inc., where she continues to develop her skills and contribute to innovative solutions in design code analysis. Her work is instrumental in improving the quality and reliability of software design.
Collaborations
Hanna collaborates with talented individuals such as Maayan Ziv and Kanwar Pal Singh, who contribute to her projects and enhance the collaborative environment at her workplace.
Conclusion
Hanna Nizar's innovative approach to design code analysis through her patent demonstrates her commitment to advancing technology in this field. Her contributions are valuable to the industry and reflect her expertise as an inventor.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile