CertiK (@CertiK): Congratulations to @RonghuiGu on receiving an Amazon Research Award.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
Impact unavailable
Congratulations to @RonghuiGu on receiving an Amazon Research Award. Formal verification has long been a cornerstone of his research, and it’s great to see continued support for advancing the field and expanding its practical applications.