New Tool Automates the Formal Verification of Systems Software
The Software Systems Laboratory developed Spoq, a tool that significantly reduces the time and manual effort needed to verify software systems.
Tag: Ronghui Gu
Ronghui Gu Awarded The 2022 VMware Systems Research Award
Gu received the OSDI 2023 Early-Career VMware Systems Research Award for developing fundamental system verification theory and bug-free, and hacker-resistant systems software.
Junior Faculty Win NSF Early Career Development Awards
As one of the highest honors for young faculty, the NSF CAREER award recognizes outstanding research. Meet the Columbia Engineering professors who earned the award.
Josh Alman and Ronghui Gu Win NSF CAREER Awards
The award supports early-career faculty who have the potential to serve as academic role models in research and education and to lead advances in the mission of their department or organization.
Ronghui Gu Named VMware Systems Research Award Recipient
Ronghui Gu is recognized for fundamental theory underlying systems verification and for synthesizing the results into realistic bug-free and hacker-resistant systems software.
The Computer Scientist Who Hunts for Costly Bugs in Crypto Code
Programming errors on the blockchain can mean $100 million lost in the blink of an eye. Ronghui Gu and his company CertiK are trying to help.
Ronghui Gu Wins Amazon Research Award
The award will help fund research and support the work of a graduate student.
New Computing Architecture Protects Sensitive Private Data
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
North Korea, NFTs and a Hit Video Game: Inside a $500M Cryptocurrency Theft
Another high-profile hack has raised more questions about the vulnerabilities of the blockchain.
CertiK, a Web3 Security Company, Doubles Its Valuation to $2 Billion in Just 3 Months
Assistant Professor Ronghui Gu’s blockchain security firm CertiK is considered a unicorn company.
Add to GMail