Kang Li（李康）是区块链安全公司CertiK的首席技术官（CTO），此前担任CertiK的首席安全官（CSO）。在加入CertiK之前，他曾担任中国互联网巨头百度的首席安全官（CSO），负责百度的整体安全战略与安全技术研发。他本科毕业于清华大学，拥有耶鲁大学法学硕士学位，是集技术能力与法学素养于一身的复合型安全专家。他长期深耕网络安全领域，对区块链智能合约安全、形式化验证、安全审计等方面有深入研究和丰富实践经验。在他的技术领导下，CertiK构建了先进的安全审计平台和形式化验证引擎，为全球数百个区块链项目提供了安全审计服务，有力推动了区块链行业的安全基础设施建设。
Kang Li本科就读于中国顶尖学府清华大学，期间打下了扎实的工程技术基础。
在完成本科学业后，赴美国耶鲁大学攻读法学硕士学位，培养了从法律与合规角度审视安全问题的独特视角。
加入中国互联网巨头百度，担任首席安全官（CSO），负责百度集团的整体安全战略规划、安全团队建设和重大安全事件处置，积累了大规模互联网企业的安全管理经验。
加入区块链安全初创公司CertiK，担任首席安全官（CSO），开始专注于区块链安全审计与形式化验证技术研发。
区块链安全是Web3生态健康发展的基石，没有安全就没有可信的去中心化世界。
形式化验证是智能合约安全的最高标准，它能从数学层面证明合约的安全属性，而非仅仅依赖测试。
安全审计不应该只是事后检查，而应贯穿于项目开发的整个生命周期。
在区块链世界中，一行代码的漏洞可能导致数亿美元的损失，安全必须放在第一位。
