IDiyas

For the Inventor, By the Inventor

Haifa, Israel

Hana Chockler

USPTO Granted Patents = 10 

Average Co-Inventor Count = 3.4

ph-index = 4

Forward Citations = 41(Granted Patents)


Company Filing History:

goldMedal10 out of 164,108 
 
International Business Machines Corporation
 patents

Years Active: 2010-2016

where 'Filed Patents' based on already Granted Patents

10 patents (USPTO):
1. 9389984 - Directing verification towards bug-prone portions (2016-07-12),
2. 8996339 - Incremental formal verification (2015-03-31),
3. 8903700 - Concretization of abstracted traces (2014-12-02),
4. 8856755 - Dominant-state-based coverage metric (2014-10-07),
5. 8639490 - Concretization of abstracted traces (2014-01-28),
6. 8448147 - Heterogenic Coverage Analysis (2013-05-21),
7. 8327334 - Replay of program executions using cross-entropy (2012-12-04),
8. 8056059 - Using cross-entropy to test executable logic code (2011-11-08),
9. 7921411 - Model checking of non-terminating software programs (2011-04-05),
10. 7853932 - System, method and computer program product for checking a software entity (2010-12-14),

Title: Innovations by Inventor Hana Chockler

Introduction

Hana Chockler is a prominent inventor based in Haifa, Israel. She has made significant contributions to the field of computer science, particularly in software verification. With a total of 10 patents to her name, her work focuses on enhancing the reliability and efficiency of computer programs.

Latest Patents

Among her latest patents is a method titled "Directing verification towards bug-prone portions." This innovative approach involves syntactically analyzing a computer program to identify sections that correspond to known bug patterns. The method enhances verification processes by prioritizing the examination of these bug-prone areas over non-bug-prone portions. Another notable patent is "Incremental formal verification," which describes a computer-implemented method for performing verification by utilizing invariants from one model to check properties in another model. These patents reflect her commitment to improving software quality and reliability.

Career Highlights

Hana Chockler is currently employed at International Business Machines Corporation (IBM), where she continues to develop her groundbreaking ideas. Her work at IBM allows her to collaborate with leading experts in the field and contribute to innovative projects that push the boundaries of technology.

Collaborations

Some of her notable coworkers include Eitan D Farchi and Benyamin Godlin. Their collaborative efforts have further advanced the research and development of software verification techniques.

Conclusion

Hana Chockler's contributions to the field of computer science through her patents and work at IBM highlight her as a leading figure in software verification. Her innovative methods are paving the way for more reliable and efficient computer programs.

This text is generated by artificial intelligence and may not be accurate.
Please report any incorrect information to support@idiyas.com
Loading…