纪念天津大学计算机专业
成立60周年系列活动
“北洋智算论坛”第十一讲
讲座时间
2018年11月26日（周一）
13：30
讲座地点
北洋园校区55B202
主讲人
刘杨
讲座题目：
面向深度学习系统的测试和理解
讲座内容：
在人工智能时代，深度学习无疑是近年来最成功的应用和发展趋势。然而，作为一种重要的软件系统，深度学习系统同样需要被充分地分析和测试，才能被正确并安全地部署和使用。在这个讲座中，我将展示我们在深度学习的测试，安全和鲁棒性方面开展的工作和取得的成果，并能够借此对深度学习的解释性提供若干方向和思路。
简介：
刘杨博士分别在2005年和2010年于新加坡国立大学获得荣誉学士和博士学位。此后分别在新加坡国立大学，麻省理工学院和新加坡科技与设计大学从事博士后工作。在2012年秋季入职新加坡南洋理工大学担任助理教授。现在于新加坡南洋理工大学担任终身副教授，网络空间安全主任，惠普-南洋理工大学联合实验室项目部主任，新加坡国家卓越计划卫星实验室（National Satellites of Excellence）副主任。刘杨博士研究领域包括软件验证，网络空间安全和软件工程，他的研究关注如何提供高可靠和安全的软件系统的设计和实现，填补了形式化方法和程序分析在理论和实践应用的隔阂。到目前为止，他已经在顶级学术会议和期刊中发表论文200余篇，并获得众多科研奖项，如微软亚洲研究院研究员奖，TRF研究员奖，南洋助理教授奖，Tan Chin Tuan研究奖，和8项国际顶级学术会议（如ASE，FSE，ICSE）最佳论文奖。拥有超过两千万新币的科研经费，刘杨博士指导和引领着一个在软件工程和计算机安全方向的最前沿的科研团队。
