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.
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.
Ronghui Gu is recognized for fundamental theory underlying systems verification and for synthesizing the results into realistic bug-free and hacker-resistant systems software.
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.
The award will help fund research and support the work of a graduate student.
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
Another high-profile hack has raised more questions about the vulnerabilities of the blockchain.
Assistant Professor Ronghui Gu’s blockchain security firm CertiK is considered a unicorn company.