معرفی
Ronghui Gu is the Tang Family Associate Professor of Computer Science at Columbia University, where he leads the Columbia Lab in systems verification and proof automation. His work bridges academia and industry as co-founder of CertiK, a $2B Web3 cybersecurity startup.
Education:
- Ph.D. in Computer Science, Yale University (2016)
- B.S. in Computer Science, Tsinghua University (2011)
Gu's research focuses on Programming Languages, Operating Systems, Blockchain, and Formal Verification. His work emphasizes verified systems software, including quantum virtual machines, confidential computing, and smart contract security.
Scientific Awards:
- NSF CAREER Award
- VMware Systems Research Award
- Amazon Research Awards
- OSDI Jay Lepreau Best Paper Award
- SOSP Best Paper Award
- CACM Research Highlights
- Distinguished Dissertation Award (Yale)
- Goldman Sachs Builders and Innovators
- Columbia’s Packard Fellowship Nominee
- The Top 100 Yale Alumni In Technology
Gu's articles reveal trends in systems verification across quantum computing, blockchain security, and concurrent systems. His work increasingly integrates machine learning for invariant generation and formal methods for critical infrastructure.
Advising & Grants:
- Advises current and former Ph.D. students including Runzhou Tao and Jianan Yao
- Received grants from NSF, DARPA, VMware, and Amazon
Labs & Collaborations: Leads the Columbia Lab in verified systems software, co-developing tools like Serval, G-CLN, and DuoAI for blockchain and quantum verification.
