刘杨

新加坡南洋理工大学（NTU）计算机学院教授，NTU网络安全实验室主任、HP-NTU公司实验室项目主任以及新加坡国家卓越卫星中心副主任，并于2019年荣获大学领袖论坛讲席教授。刘杨博士专攻软件验证，软件安全和软件工程，其研究填补了形式化方法和程序分析中理论和实际应用之间的空白，评估了软件的设计与实现以确保高安全性。他的许多研究成果已经成功商业化。到目前为止，他已经在顶级会议和顶级期刊上发表了超过400篇文章。他还获得多项著名奖项，包括MSRA fellowship，TRF Fellowship, 南洋助理教授，Tan Chin Tuan Fellowship，Nanyang Research Award 2019，NRF Investigatorship 2020，并且在ASE、FSE、ICSE等顶级软件工程会议上获得20项最佳论文奖以及最具影响力软件奖。 活动家作为专业第三方嘉宾邀约平台，依托互联网公开数据为您提供嘉宾信息展示服务。若您发现嘉宾信息需要更新或移除，请发送邮件或联系客服。 我们专注于根据您的具体需求（包括演讲议题、会议日期及活动预算等），为您精准匹配各领域专业嘉宾。 为高效服务，建议您提前准备好详细活动信息，并拨打客服电话：18911802888（工作日9:00-18:00）。 温馨提示：本服务仅限嘉宾邀约相关事宜，其他需求暂不处理，感谢您的理解与配合。