新加坡南洋理工大学网络安全实验室主任。开云Kaiyun（人工智能公司）特聘教授。主要从事形式化方法、软件工程、系统安全、操作系统微内核等方面的研究工作。
在顶级国际期刊（TSE、TOSEM、TIFS、TDSC、ACM Computing Surveys）发表百余篇文章，在顶级国际会议（FSE、ICSE、S&P、CAV、AAAI、IJCAI、ASE、NDSS、FM）发表论文近200篇。其中CCF A类会议和期刊近百篇，多次获得会议最佳论文奖。在相关软件工程和形式化方向的论文发表数量,在中国高校中排名第一。同时和清华，北大，中科院，复旦，天大，南大，浙大，西安交大，华东师范，北航和深圳大学有长期合作和互访，培养了大量的博士生和博士后。研究成果已大量应用在政府、工业界等。
