88 优惠券
2020年3月1日到期。满 200 元可用
立即使用
立即使用

首页>演讲嘉宾> 刘杨更新时间: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项最佳论文奖以及最具影响力软件奖。

活动家作为专业第三方嘉宾邀约平台,依托互联网公开数据为您提供嘉宾信息展示服务。若您发现嘉宾信息需要更新或移除,请发送邮件或联系客服。 我们专注于根据您的具体需求(包括演讲议题、会议日期及活动预算等),为您精准匹配各领域专业嘉宾。为高效服务,建议您提前准备好详细活动信息,并拨打客服电话:18911802888(工作日9:00-18:00)。 温馨提示:本服务仅限嘉宾邀约相关事宜,其他需求暂不处理,感谢您的理解与配合。

您可能感兴趣的嘉宾 最新入驻
换一批
南洋理工大学教授王郸维照片
王郸维

南洋理工大学

教授

南洋理工大学教授陈义明照片
陈义明

南洋理工大学

教授

南洋理工大学副教授NgYinKwee照片
NgYinKwee

南洋理工大学

副教授

南洋理工大学 Dmitrii照片
Dmitrii

南洋理工大学

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

蚂蚁集团

技术风险效能部高级测试开发专家

阿里 Qoder 技术专家徐亮亮照片
徐亮亮

阿里 Qoder

技术专家

蚂蚁数科 质量部AI业务质量负责人李赫照片
李赫

蚂蚁数科

质量部AI业务质量负责人

亚马逊云科技 Senior Solutions Architect姚远照片
姚远

亚马逊云科技

Senior Solutions Architect

字节跳动安全研究技术专家刘洋照片
刘洋

字节跳动

安全研究技术专家

金山办公AI公共研发高级算法经理李靖怡照片
李靖怡

金山办公

AI公共研发高级算法经理

同职位嘉宾推荐
北京大学教授郝永胜照片
郝永胜

北京大学

教授

哈佛大学医学院教授Paolo Bonato照片
Paolo Bonato

哈佛大学医学院

教授

麻省理工教授James Kirtley照片
James Kirtley

麻省理工

教授

苏州大学电子信息学院教授陈新建照片
陈新建

苏州大学电子信息学院

教授

苏州大学教授陈琛照片
陈琛

苏州大学

教授

刘杨出席会议日程