Kang Li is the Chief Security Officer of CertiK and previously was the Chief Security Officer of Baidu. He graduated from Tsinghua University and holds a master's degree in law from Yale University.