找会议，上活动家 商务会议
 会议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

相关嘉宾

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

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

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

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

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

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

华为研发工具测试技术专家万锐媛照片

万锐媛
华为
研发工具测试技术专家

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

刘杨
南洋理工大学
教授

你想参加

扫一扫 把嘉宾放进口袋里

嘉宾搜索

热门嘉宾

萧田国

萧田国 高效运维社区
发起人

周志轩

周志轩 博得世纪管理顾问机构
董事长

孙立宁

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

最新加入

黎洋 中国式家族办公室联盟秘书长 楠哥有财气 楠哥有财气主理人 陈凯 创始人 直男财经 主理人 杨舟 风控官 刘百功 创始人
  • 联系我们

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

活动家小程序

微信扫一扫，使用小程序

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

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

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