2017年6月16日，新加坡南洋理工大学助理教授刘杨博士在清华大学做了题为“从形式化方法、程序分析到数据分析——二进制漏洞检测实例”的学术报告。这个报告是由我院段海新教授等人发起的网络安全研究国际学术论坛（InForSec）举办的系列学术活动之一。

刘扬博士于2010年获得新加坡国立大学博士学位, 并开始他的博士后工作。2011年他被新加坡国立大学授予淡马锡研究Fellowship，成为网络安全领域的主要研究员。2012年秋季, 他加入南洋理工学院成为助理教授，他目前是南洋理工学院网络空间安全实验室主任。刘扬专门从事软件验证、安全和软件工程的研究。他研发的模型检查器—— 过程分析工具包 (PAT目前被80多个国家的研究机构应用于研究和教育。