姓名：彭图
所在学科：计算机科学
职称：副教授
联系电话：**
E-mail：pengtu@bit.edu.cn
通信地址：北京市海淀区中关村南大街北京理工大学软件楼416
个人信息 　　个人简介：
　　彭图，男，博士，副教授，硕导。目前已主持1项国家自然科学基金青年项目，1项北京市自然基金项目，1项教育部博士点基金项目。参与多项国家重点研发计划，多项省部级纵向项目。近年在Information and Software Technology, IEEE Access, Computer Journal等发表SCI/EI收录论文十余篇。
　　工作经历：
　　2011.9~现在 北京理工大学计算机学院 副教授
　　教育经历：
　　2006.1~2010.7 德克萨斯大学达拉斯分校 博士
　　2002.9~2005.7 北京大学数学科学学院 硕士
　　1998.9~2002.7 北京大学数学科学学院 本科

科研方向 　　网络安全，软件安全，机器学习，数据挖掘，智能化软件测试。

代表性学术成果 　　1. Zhi-cai Liu,Ling Xiong,Tu Peng,Dai-Yuan Peng,Hong-Bin Liang, A Realistic Distributed Conditional Privacy- Preserving Authentication Scheme for Vehicular Ad Hoc Networks, IEEE Access, Volume 6, Page 26307 – 26317, 2018（中科院2区期刊)
　　2. Jing Dong, Tu Peng*, Yajing Zhao, Automated Verification of Security Pattern Compositions, Information and Software Technology (IST), Elsevier-Science, Volume 53, Issue 3, Pages 274-295, March 2010. Impact Factor 1.821. (SCI: 571PF; EI: 057;中科院2区期刊)
　　3. Jing Dong, Tu Peng* and Yajing Zhao, On Instantiation and Integration Commutability of Design Pattern, the Computer Journal, Oxford University Press. Volume 54, Issue 1,Pages 164-184, January 2011. Impact Factor 1.394 (SCI: 698WL; EI: 722;中科院3区期刊)
　　4. Jing Dong, Yajing Zhao, and Tu Peng*, A Review of Design Pattern Mining Techniques, the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, Volume: 19, Issue: 6, Pages 823-855, September 2009. (SCI:513VP; EI: 128;)

承担科研情况 　　1. 国家自然科学基金青年项目，**，“基于动态函数调用图的软件验证和缺陷定位研究”，2016/01-2018/12，24万元，在研，主持。
　　2. 北京理工大学基础研究基金项目，“基于机器学习方法的软件缺陷定位研究”，2016/01-2016/12，10万元，已结题，主持。
　　3. 北京市自然科学基金项目，“基于CCS的智能化软件验证”，2012/01-2014/12，5万元，已结题，主持。
　　4. 教育部博士点基金项目，“基于CCS形式化方法的自动化软件验证研究”，2012/01-2014/12，10万元，已结题，主持。

所获奖励
社会兼职
备注