Ronghui Gu

Follow

Person

New York, NY, US

People

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS, METHODS, AND MEDIA FOR VERIFYING SOFTWARE
- Publication number 20240012728
- Publication date Jan 11, 2024
- Jason Nieh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS, METHODS, AND MEDIA FOR PROVING THE CORRECTNESS OF SOFTWARE...
- Publication number 20220019514
- Publication date Jan 20, 2022
- Ronghui Gu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS, METHODS, AND MEDIA FOR TRUSTED HYPERVISORS
- Publication number 20200409740
- Publication date Dec 31, 2020
- Shih-Wei Li
- G06 - COMPUTING CALCULATING COUNTING