所属院校:

中国科学院计算技术研究所

所属院系:

--

研究领域:

从事基于编译技术的软件安全的研究，旨在通过编译技术手段，增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全免疫等方面，有着较深的技术积累。正在探索内构安全技术，即在软件的设计和开发过程中，通过编译器、运行时环境、以及微体系结构相结合，使得计算机系统原生具备安全性

职称:

高级工程师

导师类型:

--

招生专业:

--