This inventor holds 1 USPTO granted patent. Top assignee: Nec Laboratories America, Inc.. Active years: 2011.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile
Company Filing History:
Years Active: 2011
Title: Himanshu Jain: Innovator in Software Verification
Introduction
Himanshu Jain is a notable inventor based in Pittsburgh, PA (US). He has made significant contributions to the field of software verification, showcasing his expertise and innovative spirit. His work focuses on improving the performance of software programs through formal verification methods.
Latest Patents
Himanshu Jain holds a patent for a system and method that enhances the formal verification of software programs. This invention specifically improves the performance of an abstraction-refinement loop within the verification system. His patent is a testament to his commitment to advancing technology in software development.
Career Highlights
Currently, Himanshu Jain is employed at NEC Laboratories America, Inc. His role at this esteemed organization allows him to further his research and development efforts in software verification. With a patent to his name, he has established himself as a key player in his field.
Collaborations
Himanshu has collaborated with notable colleagues such as Franjo Ivancic and Aarti Gupta. These partnerships have likely contributed to the innovative projects and research initiatives he has undertaken.
Conclusion
Himanshu Jain's work in software verification exemplifies the impact of innovation in technology. His contributions not only enhance software performance but also pave the way for future advancements in the field.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile