威尼斯在线平台

您现在的位置是: 首页  >  师资队伍  >  教师名录  >  硕士生导师  >  彭图

威尼斯在线平台:硕士生导师

姓名:彭图
所在学科:计算机科学
职称:副教授
联系电话:18519179260
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: 20100512681057;中科院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: 20110213558722;中科院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: 20094712462128;)

承担科研情况

  1. 国家自然科学基金青年项目,61502034,“基于动态函数调用图的软件验证和缺陷定位研究”,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万元,已结题,主持。

所获奖励

社会兼职

备注

威尼斯在线平台-威尼斯平台登录