找会议，上活动家 商务会议
 会议PPT 发布活动
订单查询

首页>演讲嘉宾> 刘杨更新时间：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

相关嘉宾

奇虎360高级产品设计专家王宝田照片

王宝田
奇虎360
高级产品设计专家

Autodesk资深技术经理李德桥照片

李德桥
Autodesk
资深技术经理

中关村科金技术副总裁张杰照片

张杰
中关村科金
技术副总裁

阿里巴巴达摩院算法专家蒋勇照片

蒋勇
阿里巴巴
达摩院算法专家

阿里云互联网行业架构师何海洋照片

何海洋
阿里云
互联网行业架构师

你想参加

扫一扫 把嘉宾放进口袋里

嘉宾搜索

热门嘉宾

吴晓波

吴晓波 吴晓波频道
创始人

孙立宁

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

倪光南

倪光南 中国工程院
院士

最新加入

李卫星 大数据架构部数据组件专家 肖伊 Scott Xiao 2 夏建业 中科院天津工业生物技术研究所研究员 喻国辉 仲恺农业工程学院农业与生物学院教授、院长 刘 勇 湖南省农业科学院植物保护研究所所长、
  • 联系我们

  • 订票热线: 028-69761252
    合作及其他: 028-69761253
    服务时间: 工作日（ 9:00 - 18:00 ）

活动家小程序

微信扫一扫，使用小程序

活动家介绍：
找会议，上活动家！活动家是亚洲的会议活动、培训认证、商务游学考察，查询、报名、票务营销平台，致力于为用户提供有价值、有意义的商务会议活动，以及为主办方提供会议免费发布、活动推广营销，视频直播，在线选座等服务，是你参会、办会的好助手。

热门关键词：
运维 区块链 移动互联网 云计算 人工智能 消费金融 投融资 FinTech 企业家 虚拟现实 大数据 游戏 创业创新 架构 跨境电商 3D打印 物联网 智慧医疗 环保 生物技术 智能制造 零售业 新能源汽车

CopyRight 活动家 www.41huiyi.com , 蜀ICP备15034860号-1 增值电信业务经营许可证编号川B2-20130143 CDN由赞助