通信地址: 北京市科学院南路6号中科院计算所系统结构重点实验室 邮政编码: 100190 研究领域从事基于编译技术的系统安全的研究,旨在通过编译技术手段,增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全防疫等方面,有着较深的技术积累。正在探索内建...
2009获中科院计算所优秀员工 2010获联想奖教金 2012计算所卓越之星 2012 北京市科学技术成果奖（二等）2013 获浪潮奖教金 社会任职 2022-03-01-2023-03-31,CGO 2023 Program Committee, PC member 2022-01-01-2022-08-01,CCF芯片大会, 程序委员会主席 2020-05-30-2021-05-30,PACT 2020 program committee, ...