从事基于编译技术的系统安全的研究，旨在通过编译技术手段，增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全防疫等方面，有着较深的技术积累。正在探索内建安全技术，即在软件的设计和开发过程中，通过编译器、运行时环境相结合，加以软件缺陷滤除等机制，来提升软件的抗攻击能力。

导师武成岗长期从事计算机系统安全、程序分析和虚拟化技术的研究，旨在系统化方案提升计算机的安全性和可靠性。在漏洞挖掘、漏洞利用、二进制代码的分析变换、安全防御等方面有着较深的技术积累。发表论文30余篇，部分发表在IEEE Security and Privacy、USENIX Security、CCS、ATC、TDSC、TSE、ICSE、ASE、TPDS、TCAD、TACO、SIGMETRICS、PACT、CGO、VEE、DATE等学术期刊和会议上，获得授权专利23项，软件著作权7项，并于获省部级科技进步奖2项。担任国际学术会议CGO 2013大会主席、CGO的督导委员会（Steering Committee）委员，APPT 2013程序委员会主席、另外还担任PPoPP2017、CGO2015、CGO2016、CGO2017、CGO 2023、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等会议的程序委员会委员。主持1项国家自然基金重点项目、 1项863项目和1项国家自然科学基金项目，作为分课题负责人参与1国家重大专项、3项国家自然科学基金重点项目。

注重培养研究生的系统开发、技术视野和学术创新能力，所毕业的学生深受用人单位的青睐。自从2003年团队成立以来，先后毕业了37名研究生，分别就业于中国科学院、百度、阿里巴巴、腾讯、华为、网易、搜狗、曙光、中信银行、intel、IBM、Microsoft、Google、Synopsys、英伟达、Freewhell等知名研究机构和企业，其中3/4以上已成为所在单位的骨干。

本团队希望招收对计算机系统安全感兴趣，有梦想、有抱负的同学来攻读研究生。

0812Z1-信息安全
081201-计算机系统结构
081202-计算机软件与理论

计算机系统安全
人工智能安全
虚拟化

2006-11--2007-08   University of Minnesota   访问学者
1998-09--2001-07   中国科学院计算技术研究所   博士
1991-09--1996-01   解放军信息工程学院   硕士
1987-08--1991-07   解放军信息工程学院   学士

1991年7月-1998年8月 解放军信息工程大学 

2001年7月-今              中国科学院计算技术研究所

2003-12~2021-08,中国科学院计算技术研究所, 副研究员、研究员级高级工程师
1987-08~2003-12,解放军信息工程大学, 讲师

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, 程序委员会委员
2020-01-15-2024-01-15,中国计算机学会理事会, 理事
2020-01-14-2024-01-14,中国计算机学会体系结构专委会, 主任
2018-09-01-2019-09-01,国际会议CC程序委员会委员, 委员
2017-01-01-2017-12-31,PPoPP 2018 程序委员会, 委员
2017-01-01-2017-12-31,CGO 2018程序委员会, 委员
2016-04-01-2017-04-01,CGO 2017 Program Committee, PC member
2016-04-01-2017-04-01,PPoPP 2017 Program Committee, PC member
2015-12-31-2020-12-30,计算机学会体系结构专委会, 副主任
2015-08-01-2016-08-31,ACA 2016 Oganization Committee, Chair
2015-04-01-2016-04-01,CGO 2016 Program Committee, PC member
2014-04-01-2015-04-01,CGO 2015 Program Committee, PC member
2012-08-01-2013-08-31,APPT 2013 Program Committee, Chair
2012-03-22-2014-03-22,计算机学会专委工作委员会, 委员
2011-04-01-2013-06-01,CGO 2013学术会议, 大会主席

已指导学生

苏灵燕  硕士研究生  081201-计算机系统结构  

张盈  硕士研究生  081201-计算机系统结构  

刘泽善  硕士研究生  081201-计算机系统结构  

曾上游  硕士研究生  081201-计算机系统结构  

韩冬妮  博士研究生  081201-计算机系统结构  

闫兵  硕士研究生  081280-软件工程  

刘家宁  硕士研究生  081280-软件工程  

龚军  硕士研究生  081201-计算机系统结构  

黎进  硕士研究生  081201-计算机系统结构  

郭辉  硕士研究生  430112-计算机技术  

杨东艳  硕士研究生  081201-计算机系统结构  

卢兴敬  博士研究生  081201-计算机系统结构  

李斌  硕士研究生  085211-计算机技术  

何文婷  博士研究生  081201-计算机系统结构  

李晶  博士研究生  081201-计算机系统结构  

王喆  博士研究生  081201-计算机系统结构  

孙力立  博士研究生  081201-计算机系统结构  

吕萧  硕士研究生  081201-计算机系统结构  

杨皓  硕士研究生  085211-计算机技术  

刘学宝  硕士研究生  081201-计算机系统结构  

康炎丽  硕士研究生  085211-计算机技术  

乔扬  硕士研究生  081201-计算机系统结构  

谢梦瑶  博士研究生  081201-计算机系统结构  

张晓峰  硕士研究生  085211-计算机技术  

陈瑞新  硕士研究生  081201-计算机系统结构  

曾凯  硕士研究生  081201-计算机系统结构  

陈博言  硕士研究生  081201-计算机系统结构  

胡宇浩  硕士研究生  085211-计算机技术  

现指导学生

贾力陈  博士研究生  081201-计算机系统结构  

唐博文  博士研究生  081201-计算机系统结构  

许佳丽  博士研究生  081201-计算机系统结构  

张培华  博士研究生  081201-计算机系统结构  

赖远明  博士研究生  081201-计算机系统结构  

侯承轩  博士研究生  083900-网络空间安全  

康妍  博士研究生  083900-网络空间安全  

孙越   博士研究生  083900-网络空间安全  

周洋帆  硕士研究生  083900-网络空间安全  

王继铭  博士研究生  083900-网络空间安全  

高亦凡  硕士研究生  083900-网络空间安全  

吴腾  硕士研究生  085400-电子信息  

张诗杨  硕士研究生  081201-计算机系统结构  

任骥恺  博士研究生  083900-网络空间安全  

胡瀚之  硕士研究生  081200-计算机科学与技术  

胡宇浩  博士研究生  083900-网络空间安全  

吕京霖  博士研究生  081200-计算机科学与技术