Personal Information:

Associate professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates

Research Projects

1) 国防科研项目，静态代码分析工具研究，2021.06--2024.04
2) 国家自然科学基金重点项目，基于混合系统模型的多异构机器人集群协同控制理论与关键技术研究(合)，2018.01--2021.12
3) 国家重点研发计划课题，基于缺陷模式的并行化漏洞分析方法研究(合)，2017.03--2020.04
4) 国家921项目，载人航天软件安全保密性测试分析技术研究，2018.06--2019.12
5) 国家自然科学基金重点项目，软件安全性分析的关键技术与工具(合)，2015.06--2017.03
6) 国家部委基金项目，软件分析理论体系研究，2012.10--2015.09
7) 北京市自然科学基金，网络上数字照片的真实性鉴定技术研究，2013.01--2015.09
8) 国家自然科学基金，盲环境下数字图像篡改鉴定的数学模型研究，2010.09--2014.05
9) 国家863计划重点项目，开源资源库协同开发技术及系统研究，2008.01--2010.12
10) 国防重点实验室基金，基于运行路径的智能动态译码技术，2021.01--2021.12
11) 国防重点实验室基金，软件缺陷可利用性分析与自动验证技术研究，2020.12--2022.12
12) 国防科研项目，软件缺陷高效利用实现技术，2020.12--2021.12
13) 国防预研项目，基于语义的缺陷分析及验证技术研究，2017.03--2010.12
14) 国防预研项目，基于统计学习的缺陷分析及验证方法研究，2017.03--2010.12
15) 国防科研项目，嵌入式操作系统分析测试与验证，2015.10--2017.10
16) 国防预研项目，空间站信息系统软件安全研究，2014.01--2014.12
17) 国防科研项目，Sparc编译器验证平台研制，2013.01--2014.01
18) 国防科研项目，PLC系统测试验证及故障诊断软件开发，2012.01--2013.02
19) 国防科研项目，测发控仿真平台开发，2012.01--2013.01
20) 国防科研项目，恶意代码自动分析系统，2010.07--2013.12
科研项目, 2007/11/01
科研项目, 2012/12/11-2019/03/21, 结题
科研项目, 2016/04/18-2019/01/25, 结题
科研项目, 2018/03/20
基于混合系统模型的多异构机器人集群协同控制理论与关键技术研究（合）, 2018/10/15
软件安全性分析的关键技术与工具（合）, 040, 2015/06/10-2018/10/19, 结题
基于时序逻辑的软件安全缺陷分析方法研究, 171, 2010/07/21-2018/10/19, 结题

total27 1/1

firstpreviousnextlast

Home

Scientific Research

Teaching Research

Awards and Honours

Enrollment Information

Student Information

My Album

Blog

Personal Information:

Research Projects