姓名彭图性别男
政治面貌群众职称讲师
邮箱pengtu@bit.edu.cn办公电话15201688380
办公地点软件楼
通信地址北京理工大学软件学院，100081
简介


教育背景
美国德克萨斯大学工程与计算机科学学院2006年1月–2010年5月
(SchoolofEngineeringandComputerScience,theUniversityofTexasatDallas)
获软件工程专业博士(PhDDissertationTitle:FormalModelingandAutomatedVerificationofDesignPatterns)
德大软工专业排名全美16，根据CommunicationsofACM

北京大学数学科学学院2002年9月-2005年6月
获信息安全专业工学硕士学位

北京大学数学科学学院1998年9月-2002年6月
获信息科学专业学士学位
工作经验
德克萨斯大学工程与计算机科学学院软件形式化方法实验室（美国达拉斯）
博士学生2006年1月-2008年12月
工作职责和业绩：研究软件设计的形式化建模及其应用，发表多篇期刊论文。
德克萨斯大学工程与计算机科学学院（美国达拉斯）
助教2006年1月-2008年12月
工作职责和业绩：课堂教授大学/研究生水平的数学，计算机科学和程序设计。善于把比较抽象的数学知识形象化，并归纳出解决比较复杂数学问题的简洁思路。
北京大学数学科学学院信息科学系
助教2002年9月-2005年5月
工作职责和业绩：给北京大学数学学院本科生讲授部分高等数学和计算机科学,特别是解数学题目和应试方法。
北京大学数学科学学院信息安全和密码学实验室研发
2002年9月-2005年5月
工作职责和业绩：参与国家自然科学基金支持的项目，高性能环境下软件加密平台的研究和开发。负责设计并实现基于IPSec协议的VPN的部分工作。
国际数学家大会2002志愿者2002年7月-2002年9月
工作职责和业绩：为世界各国数学家在大会期间提供口、笔翻译。帮助他们在这次国际数学界的峰会上了解中国数学工作的进展。显示了一定组织能力和学术交流能力。
参与过的研究项目和发表的论文
单位：北京大学数学科学学院
项目：网络环境下的高性能软件加密平台
资助：国家自然科学基金
时间：2003.9-2005.6
内容：该项目设计并实现了基于IPSec协议的安全虚拟专用网。包括从网络层抓取的数据包的加密，分派，传输，和获取。我主要完成了公钥密码算法的设计和实验，并对部分算法做了优化。
成果：项目通过基金委验收，完成硕士论文并获答辩通过。

单位：TheUniversityofTexasatDallas
项目：FormalMethods
资助：NationalScienceFoundation,TexasInstruments（受美国自然科学基金和德州仪器公司资助）
时间：2006.1-2009
内容：研究应用数学方法对软件设计进行建模。研究并实验软件的自动化测试技术。通过在形式化建模和自动化测试基础上对软件设计进行分析和改进，减少软件在设计阶段和实现阶段的错误，从而提高软件系统可靠性。
成果：发表如下论文
SCI收录论文3篇（第一作者2篇）
[1]JingDong,TuPeng,YajingZhao,AutomatedVerificationofSecurityPatternCompositions,InformationandSoftwareTechnology(IST),Elsevier-Science,Volume53,Issue3,Pages274-295,March2010.SCI影响因子1.821
[2]JingDong,TuPengandYajingZhao,OnInstantiationandIntegrationCommutabilityofDesignPattern,theComputerJournal,OxfordUniversityPress.2010.(Toappear)SCI影响因子1.394
[3]YajingZhao,JingDong,andTuPeng,OntologyClassificationforSemanticWebBasedSoftwareEngineering,IEEETransactionsonServicesComputing(TSC).vol.2,no.4,pp.303-317,Oct.-Dec.2009.SCI
EI收录论文9篇(第一作者4篇，其中IEEE国际会议2篇，此处列举部分，附件为全部)
[4]JingDong,TuPeng，ZongyanQiu,CommutabilityofDesignPatternInstantiationandIntegration,theProceedingsoftheFirstIEEE&IFIPInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE),pages283-292,China,June2007.(Acceptrate:46/210=21.9%)
[5]JingDong,TuPeng,YajingZhao,ModelCheckingSecurityPatternCompositions,theProceedingsoftheSeventhInternationalConferenceonQualitySoftware(QSIC),pages80-89,Portland,Oregon,USA,October2007,IEEECSPress.(Acceptrate:24/92=26.1%)
[6]TuPeng,JingDong,YajingZhao,VerifyingBehavioralCorrectnessofDesignPatternImplementation,theProceedingsofthe20thInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE),pages454-459,CA,USA,July2008.
学术著作一部
[7]JingDong,TuPeng,YongtaoSun,LongjiTang,andYajingZhao,DesignPatternsFromTheoryToPractice,inEncyclopediaofInformationScienceandTechnology,SecondEdition,pages1047-1052,IGIGlobalPublishing,2008.
作为论文评阅人的会议
47thInternationalConferenceonObjects,Models,Components,Patterns2009

TwelfthInternationalConferenceonSoftwareEngineeringandApplications(IASTED)2008

InternationalWorkshoponSystem/SoftwareArchitectures(IWSSA)2008

The2008IEEEInternationalConferenceonInformationReuseandIntegration(IEEEIRI-08)

The20thInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE)

IEEEInternationalConferenceonGranularComputing(IEEEGrC)2007,2008

IEEEHighAssuranceSystemsEngineeringSymposium(IEEEHASE)2007

TheSeventhInternationalConferenceonQualitySoftware(QSIC)2007
讲授过的课程
系统科学导论北京理工大学软件学院2012.9至今
软件体系结构和设计模式北京理工大学软件学院2012.2-2012.6
ElectricalandComputerScienceSchool,UniversityofTexasatDallas,2007/2008
AdvancedSoftwareArchitectureandDesign
ElectricalandComputerScienceSchool,UniversityofTexasatDallas,2007/Fall
DiscreteMathematics
北京大学数学科学学院信息科学系，2004
DiscreteMathematics
毕业学校简介
德克萨斯大学（达拉斯）工程与计算机科学学院在全美大学计算机专业排名第29，软件工程专业在全球排名第24，在全美排名第16。
来源：CommunicationsofACM,June2007/Vol.50,No.6