Professor Ronghui Gu is the Co-founder and CEO of CertiK, and an Associate Professor of Computer Science at Columbia University. He serves as an International Technology Advisor to the Monetary Authority of Singapore (MAS). Professor Gu obtained his Ph.D. from Yale University and his Bachelor's degree from Tsinghua University. He has received numerous prestigious awards for his work in systems verification, including a National Science Foundation CAREER Award, a VMware Systems Research Award, four Amazon Research Awards, an OSDI Jay Lepreau Best Paper Award, an SOSP Best Paper Award, and a CACM Research Highlight.