Zhuoxiong Sun is a senior software engineer at CertiK. He graduated from Purdue University and Zhejiang University in the United States.