刘杨，博士，新加坡南洋理工大学计算机学院助理教授。主要从事软件工程和系统安全方向的研究。长期致力于系统正确性，可靠性和安全性的自动检测。带领开发了PAT模型检测工具，支持并发，实时和概率系统的验证。PAT被广泛的应用到并行算法，网页服务，传感器网络，软件体系结构验证。安全方向的研究主要集中在在恶意行为的建模和动静态检测，安全系统和安全系统协议的建模和验证，安全操作系统验证和扩展，自动安全测试及工具开发，二进制代码的分析，搜索，反编译和自动漏洞检测。共发表论文近150余篇，部分发表在优秀学术期刊（包括TOSEM, TSE, TCST, TIFS, TII, T-ASE, and ACM Computing Surveys等）和学术会议 （包括FSE, CAV, NDSS, WWW, AAAI, IJCAI, ICSE, FM, ASE 和 ISSTA）。荣获Microsoft Research Asia Fellowship 2007, Temasek Research Fellowship 2011, Nanyang Assistant Professorship 2013。网页：www.ntu.edu.sg/home/yangliu