2015年10月9日下午，新加坡南洋理工大学（Nanyang Technological University）计算机工程学院刘杨博士应邀在我校明向校区计算机学院报告厅作了题为《Cyber-security: formal methods approaches and beyond》的学术报告。报告会由金沙威尼斯官网计算机工程系主任李爱萍主持。

刘杨博士在报告中介绍了形式化方法在实践中的作用和意义，分享了他们团队在形式化领域的经验收获，特别通过一些深入浅出的示例，介绍了形式化方法在网络安全领域的应用实践以及信息安全的潜在发展机遇和挑战。计算机科学与技术、软件工程等相关专业的教师、研究生和本科生参加了报告会。讲座结束后，刘杨博士还与现场师生进行了互动，并就大家关心的问题作了解答。

刘杨博士，毕业于新加坡国立大学计算机科学，在新加坡国立大学、美国麻省理工大学（MIT）和新加坡科技设计大学进行过博士后研究工作，2012年秋季开始，以助理教授身份加入新加坡南洋理工大学计算机工程学院工作。到目前为止，刘杨博士已经在计算机类国际顶级期刊（如IEEE Transactions on Software Engineering 和ACM Transactions on Software Engineering and Methodology）、国际顶级软件工程和形式化方法会议（如International Conference on Software Engineering, International Conference on Computer-Aided Verification, International Symposium on Formal Methods）等发表科研论文130多篇，这些文章已经被大量引用，Google scholar中显示已经被引超过1100次。现在，刘杨博士领导着包括博士后、博士等共30多人的研究团队，目前在研的科研项目包括新加坡国防部、教育部和国家研究基金会等部门的纵向项目和劳斯莱斯实验室等横向科研项目，科研经费累计超过500万新币（约2500万人民币）。

本次学术报告由计算机科学与技术学院、金沙威尼斯欢乐娱人城主办。