海外青年学者为软件学院师生讲授程序分析

时间:2016-01-05单位:软件学院浏览量:232

分享到

论坛现场

  12月24日,澳门金莎娱乐官网“海内外优秀青年学者论坛”软件学院分论坛在B8副楼报告厅隆重举行。本次论坛由隋玉磊博士主讲,软件学院负责人及学院师生代表70余人出席了本次活动。

    论坛上,隋玉磊博士做了题目为 “Static and Dynamic Program Analysis to Improve Software Reliability and Security(如何利用静态与动态程序分析技术提高软件的可靠性与安全性)的学术报告。主要报告了他在澳大利亚新南威尔士大学的科研工作,结合静态与动态程序分析技术,实现对大规模软件系统,尤其是多线程软件系统的精确分析,查找软件系统中存在的潜在缺陷。隋玉磊博士成功解释了程序分析的基本原理与技术,结合自己的科研经历讲解了相关难点与重点,并指出未来程序分析技术在检测移动应用窃取用户隐私信息行为等方面的重要应用。 

    随后,隋玉磊博士与与会教师和研究生就自己感兴趣的研究方向和问题进行互动交流,现场气氛十分活跃。(图文/编辑 茹秋萍 陈春华 戴一菲 软件学院 编辑/祝和平)

 

附:报告人简介

  隋玉磊博士分别于2008,2010年获得西北工业大学工学学士、硕士学位,2014年1月获得澳大利亚新南威尔士大学(UNSW)博士学位。现在新南威尔士大学计算机学院程序语言与编译器实验室(CORG)从事博士后研究工作. 自2010年攻读博士学位起,一直致力于大规模程序动静态分析技术,编译优化,软件检错与验证等方面的研究。在攻博期间先后获得澳大利亚政府奖学金(IPRS), 中国优秀自费留学生奖学金,2013 CGO大会最佳论文奖等,并在多个顶级国际期刊及会议发表学术论文(TSE, ISSTA, ECOOP, CGO, ICPP等)。

返回原图
/

XML 地图 | Sitemap 地图