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.
The Software Systems Laboratory developed Spoq, a tool that significantly reduces the time and manual effort needed to verify software systems.
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.
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 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.