刘杨,博士,新加坡南洋理工大学计算机学院助理教授。主要从事软件工程和系统安全方向的研究。长期致力于系统正确性,可靠性和安全性的自动检测。带领开发了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

刘杨 可能工作过的组织/机构/部门/团队: 新加坡南洋理工大学计算机学院   TOSEM  

刘杨 可能工作过的同事:

粤ICP备17091748号-3