This inventor holds 1 USPTO granted patent. Top assignee: Amazon Technologies, Inc.. Active years: 2026.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile
Company Filing History:
Years Active: 2026
Title: Innovations by Yang Hu
Introduction
Yang Hu is an accomplished inventor based in Austin, TX. He has made significant contributions to the field of computer science, particularly in the area of satisfiability modulo theories (SMT). His innovative work focuses on optimizing SMT solver configurations to enhance processing efficiency.
Latest Patents
Yang Hu holds a patent titled "Adjusting satisfiability modulo theories solver configurations." This patent discloses systems and methods for adjusting the encoding and ordering of parts of an SMT problem. The goal is to optimize the SMT solver configuration, thereby reducing the processing time required to solve SMT problems. By rearranging the order of parts of an SMT problem and adjusting configuration options, Yang's invention aims to streamline the problem-solving process.
Career Highlights
Yang Hu is currently employed at Amazon Technologies, Inc., where he continues to develop innovative solutions in the realm of computer science. His expertise in SMT has positioned him as a valuable asset to his team and the company.
Collaborations
Some of Yang's notable coworkers include Dejan Jovanovic and Amit Goel. Their collaborative efforts contribute to the advancement of technology and innovation within their field.
Conclusion
Yang Hu's work exemplifies the spirit of innovation in technology. His patent on SMT solver configurations showcases his commitment to improving processing efficiency in complex problem-solving scenarios.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile