logo

For the Inventor, By the Inventor

San Jose, CA, United States of America

Guodong Li

This inventor holds 17 USPTO granted patents and 4 published patent applications and 1 EPO patent, primarily in Software Analysis. Top assignees: Fujitsu Corporation, Synopsys, Inc.. Active years: 2013-2018.

IDiyas Innovation Intelligence. (2026). Inventor Profile: Guodong Li. Retrieved from https://idiyas.com/inventor/guodong-li

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Calculating rank
USPTO Granted Patents = 17 

% Patents Active = 76.5

 

Average Co-Inventor Count = 2.3

ph-index = 4

Forward Citations = 67(Granted Patents)


Company Filing History:

goldMedal13 out of 39,378 
 
Fujitsu Corporation
 patents
silverMedal4 out of 2,611 
 
Synopsys, Inc.
 patents

Years Active: 2013-2018

Loading Chart...
Loading Chart...
Areas of Expertise:
Model-Based Analysis
Incremental Analysis
Adaptive Analysis
Event-Driven Testing
Symbolic Execution
Test Case Generation
Satisfiability Checking
C++ Program Validation
Automatic Abstractions
Path Reduction
Mixed Numeric Constraints
JavaScript Programs
17 patents (USPTO):Explore Patents
1. 10133649 - System and methods for model-based analysis of software (2018-11-20),
2. 10127386 - Systems and methods for adaptive analysis of software (2018-11-13),
3. 10127135 - Systems and methods for incremental analysis of software (2018-11-13),
4. 10122749 - Systems and methods for analyzing software using queries (2018-11-06),
5. 9892027 - Event-driven software testing (2018-02-13),
6. 9619362 - Event sequence construction of event-driven software by combinational computations (2017-04-11),
7. 9501331 - Satisfiability checking (2016-11-22),
8. 9483380 - Parameterized states in symbolic execution for software testing (2016-11-01),
9. 9152543 - Symbolic execution with automatic abstractions (2015-10-06),
10. 9038032 - Symbolic execution and automatic test case generation for JavaScript programs (2015-05-19),
11. 8996922 - Mixed numeric and string constraint analysis (2015-03-31),
12. 8972949 - Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver (2015-03-03),
13. 8943487 - Optimizing libraries for validating C++ programs using symbolic execution (2015-01-27),
14. 8869113 - Software architecture for validating C++ programs using symbolic execution (2014-10-21),
15. 8856751 - Abstract symbolic execution for scaling symbolic execution generation and automatic test generation (2014-10-07),

Title: The Innovative Journey of Guodong Li

Introduction: Guodong Li, a talented inventor based in San Jose, CA, has made significant contributions to the field of technology through his groundbreaking innovations.

Latest Patents: Guodong Li holds several patents in the areas of artificial intelligence, machine learning, and robotics, showcasing his expertise in cutting-edge technologies.

Career Highlights: With a background in computer science and engineering, Guodong Li has worked for top tech companies in Silicon Valley, where he honed his skills and developed his passion for creating innovative solutions.

Collaborations: Throughout his career, Guodong Li has collaborated with leading researchers and engineers in the industry, fostering a culture of creativity and pushing the boundaries of what is possible in the tech world.

Conclusion: Guodong Li's relentless pursuit of innovation and his commitment to pushing the limits of technology make him a standout figure in the world of inventors, with a promising future ahead in shaping the technological landscape.

Profile summary based on public USPTO records.
Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]
Loading…