首页>演讲嘉宾> 刘杨更新时间:2025-05-23

南洋理工大学教授刘杨照片

刘杨简历

新加坡南洋理工大学(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项最佳论文奖以及最具影响力软件奖。

出席会议历程

2025-05-23
2024-11-08
2024-08-16
2024-05-17
2023-11-24

相关嘉宾

上海瞰源科技创始人&CEO于政照片

于政
上海瞰源科技
创始人&CEO

天津大学智能与计算学部教授、博导,人工智能学院副院长王鑫照片

王鑫
天津大学智能与计算学部
教授、博导,人工智能学院副院长

蚂蚁集团技术风险效能部测试总监 蔡文婷照片

蔡文婷
蚂蚁集团
技术风险效能部测试总监

蚂蚁集团技术风险效能部高级技术专家周海莲照片

周海莲
蚂蚁集团
技术风险效能部高级技术专家

蚂蚁集团技术风险效能部高级测试开发专家王啸(凌鹭)照片

王啸(凌鹭)
蚂蚁集团
技术风险效能部高级测试开发专家

扫一扫 把嘉宾放进口袋里

嘉宾搜索

热门嘉宾

陈向东

陈向东 跟谁学
CEO

孙立宁

孙立宁 苏州大学机电工程学院
院长

李德毅

李德毅 中国工程院
院士