Zhong Shao is the co-founder and CTO of CertiK. He graduated from Tsinghua University with a Bachelor's degree, and later obtained a Doctorate at Yale University, where he served as a Professor of Computer Science.