Runzhou Tao

Follow

Person

New York, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Systems, methods, and media for proving the correctness of software...
- Patent number 12,079,102
- Issue date Sep 3, 2024
- The Trustees of Columbia University In the City of New York
- Ronghui Gu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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