个人简介

工作简历 现任郑州轻工业学院计算机与通信工程学院副教授，2011年博士毕业于华东师范大学计算机应用技术专业，获工学博士学位。 科研项目 作为主要成员参与国家863重点项目子课题、国家自然科学基金重大研究计划集成项目子课题、国家863项目和国家自然科学基金项目等。其中，在863先进计算项目“软件可信度量模型研究”中基于公理化方法建立了面向多维属性的软件可信度量模型，其已成为航天嵌入式软件可信评估的基础模型；在863重点项目“新概念高效能计算机体系结构及系统研究开发”中作为主要成员参与研发了认知决策支持系统，该系统是2013被两院院士评为中国十大科技成果之一的拟态计算机的核心关键技术之一。 学术及科研成果 在国内外重要学术期刊和国际会议上发表学术论文20余篇，编著教材和翻译著作3部，其中，参编的《编译与反编译技术》和《编译与反编译技术实践》是国内首次从正反向角度介绍编译技术与实践的教材。担任中国计算机学会嵌入式系统专业委员会委员。