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

硕士生导师

姓名:彭图
所在学科:计算机科学
职称:副教授
联系电话:18612257902
E-mail:pengtu@bit.edu.cn
通信地址:北京市海淀区中关村南大街北京理工大学软件楼

个人信息

  彭图,男,1982年出生, 1998至2005年就读于北京大学数学学院信息科学专业本科和研究生,并获理学学士和工学硕士学位。2006至2010年就读于美国德克萨斯大学计算机学院,并获软件工程博士学位。2011年至今就职于北京理工大学计算机学院。

  

科研方向

  我的研究领域是软件安全,网络安全,软件测试和软件体系结构。

代表性学术成果

  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区期刊)

承担科研情况

  1. 国家自然科学基金:基于动态函数调用图的软件验证和缺陷定位研究 2016-2018,负责人。

       2. 北京市自然科学基金:基于CCS的智能化软件验证 2012-2014,负责人。

  

所获奖励

社会兼职

备注