Ronghui Gu is the Co-Founder, CertiK. He is an Assistant Professor in Computer Science at Columbia University. He obtained his Ph.D. degree from Yale University in 2016 and a bachelor’s degree from Tsinghua University in 2011.