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.
Assistant Professor Ronghui Gu’s blockchain security firm CertiK is considered a unicorn company.