个人简历

个人简介：
董玉坤，博士，硕士生导师，讲师。2003年6月毕业于中国石油大学（华东）通信工程专业，获得工学学士学位；2006年6月毕业于中国石油大学（华东）计算机软件与理论专业，获得工学硕士学位并留校任教；2011年9至2014年10月在北京邮电大学计算机科学与技术专业学习，并获得工学博士学位。主要研究方向为软件测试、程序分析。先后主持或承担多项科研与教学项目，发表科研论文10余篇，获得省部级科研奖励2项，主编教材1部。
所在的网络服务与生物计算创新团队拥有宽敞独立的实验室、一流的软硬件科研平台、浓郁的科研氛围，并与清华大学、北京大学、同济大学、马德里理工大学、浪潮集团等国内外知名高校及IT企业建立了良好的合作关系。欢迎有志在软件测试、程序分析、软件安全方面深造的同学报考研究生。
科研项目
主持的科研与教改项目：
1、山东省自然科学基金项目《代码级内存缺陷检测的充分性研究》（BS2015DX017）,2015.07-2017.06；
2、中央高校基本科研业务经费资助项目《C程序代码级内存缺陷的充分性检测技术研究》（15CX02050A）,2015.01-2016.12；
3、横向项目《站库消防自控系统抢维修技术研究----消防智慧管理平台开发与应用》2018.12-2020.02；
4、中国石油大学（华东）教改项目《基于OBE工程教育理念的软件工程核心课程教学改革》（QN201616）,2016.10-2018.9。
获得荣誉
1、中国产学研合作促进会，创新成果奖,二等奖，知识驱动的油气开采智能生产关键技术，2018（排名4/10）
2、中国石油和化学工业联合会，科技进步奖,三等奖,大数据环境下油气开采智能生产关键技术，2018（排名4/15）
3、中国石油大学（华东）教学成果一等奖（排名：4/9），2017
4、中国石油大学（华东）教学成果二等奖（排名：3/7），2015
5、中国石油大学（华东）优秀教师，2015；
6、中国石油大学（华东）优秀班主任，2015；
7、山东省优秀学士学位论文指导教师，2011

研究领域

软件测试、程序分析、代码级缺陷检测

近期论文

1、董玉坤,金大海等.基于区域内存模型的C程序静态分析,软件学报,2014
2、董玉坤,宫云战等.基于区域内存模型的空指针引用缺陷检测,电子学报,2014
3、YukunDong.AsoundabstractmemorymodelforstaticanalysisofCprograms.InternationalJournalofComputationalScienceandEngineering.2018.
4、YukunDong.Detectingallpotentialnulldereferencesbasedonpoints-topropertysoundanalysis.InternationalJournalofComputersandApplications.2018
5、董玉坤.基于符号约束集的条件表达式数据流分析.科学技术与工程,2018.
6、董玉坤.C程序非法计算缺陷的静态检测,计算机工程与应用,2016
7、董玉坤.基于属性可靠分析的空指针引用缺陷检测,计算机工程与应用,2016
8、董玉坤,李村合.基于UML协作图的集成测试序列生成方法,计算机工程与应用,2007
9、董玉坤,李村合.基于Struts的Web程序分析与测试,微计算机应用,2007
10、YukunDong.Fullydetectionofillegalmemoryaccessdefects,CISIS2016
11、YukunDong.Fullydetectionofillegalvalueusedefects,INCOS2016
12、YukunDong.RSTVL:AsoundmemorymodelforstaticanalysisofCprograms,ICAICE2015
13、YukunDong.SymbolicProcedureSummaryUsingRegion-basedSymbolicThree-ValuedLogic,JournalofComputer,2014
14、YukunDong.AnApproachforIdentifyingDetectingObjectsofNullDereference,JournalofSoftware,2014
15、YukunDong.AnApproachtoFullyRecognizingAddressableExpression,QSIC2013
16、董玉坤.大学课堂中“假性边缘人”现象及解决对策,中国石油大学学报（社会科学版），2017
17、董玉坤.基于OBE模式的软件测试课程教学改革研究，课程教育研究2017
18、董玉坤.“软件测试”课程教学现状分析,课程教育研究2015
19、董玉坤.面向卓越测试工程师培养的软件测试课程教学改革与实践,教育教学论坛2016
20、中国石油大学（华东）规划教材，《软件测试技术》，中国石油大学出版社，2017（排名：2/2）
21、专利：一种充分识别指针引用检测对象的方法专利号：ZL201410115369.7（排名2/5）
22、专利：一种充分检测空指针引用缺陷的方法专利号：201310141769.0（排名：3/5）
23、专利：一种基于符号化函数摘要的静态分析方法及系统专利号：201310538362.1（排名：5/5）