Inventor · disambiguated record
Ronghui Gu
Also filed as: GU RONGHUI
3 granted patents·3 pending applications·1 citations·filing 2018–2025
49Inventor score
Top patents by PatentIndex Score
6 records- 0159US11409630B2Systems and methods of formal verificationUNIV YALE·Filed 2018·Granted Aug 9, 2022·1 cites·7 claims
- 0255US11816018B2Systems and methods of formal verificationUNIV YALE·Filed 2022·Granted Nov 14, 2023·0 cites·20 claims
- 0349US2024419808A1Systems, methods, and media for verifying softwareUNIV COLUMBIA·Filed 2024·Application pending·0 cites
- 0444US2025265111A1Systems, methods, and media for executing a container computing kernelUNIV COLUMBIA·Filed 2025·Application pending·0 cites
- 0542US2024012728A1Systems, methods, and media for verifying softwareNIEH JASON·Filed 2023·Application pending·0 cites
- 0640US12079102B2Systems, methods, and media for proving the correctness of software on relaxed memory hardwareGU RONGHUI·Filed 2021·Granted Sep 3, 2024·0 cites·18 claims
Join the waitlist — get patent alerts
Get an alert when Ronghui Gu files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →