讲座预告 | 软件安全分析及其与大模型的融合

赵鲁，美国犹他大学计算机博士，有12年的硅谷顶级高科技公司任职经历。曾任惠普企业安全高级工程师、甲骨文/NetSuite首席工程师、华为安全工具部专家顾问。曾研发和发起并主导了多个市场化产品，包括：代码安全审计工具Fortify SCA，2010年起连续6年被Gartner列为该领域No1.领头羊；内存安全形式化验证工具SecVerifier，发现了其它工具未能发现的产品代码中的106个内存相关安全漏洞；动态编程语言安全审计工具JSA，在跟踪JavaScript污点传播路径的能力上处于业界领先水平。其部分工作成果在国际、国内业界顶级大会上做报告分享，包括LLVM全球开发者大会，美国国家技术标准局，中国计算机大会等。