陈凯明

陈凯明，男，副教授。1964年生，安徽省潜山县人。于1986年、

1991年、2004年分获合肥工业大学微机所学士、硕士和博士学

位。1991.5-1999.12在合肥经济技术学院计算中心从事教学和

科研工作。1999.12进入中国科学技术大学计算机系工作。以主

要参加者完成国家攻关课题和自然科学基金项目多项，主持和

参加省部校级和应用性开发项目10多项，译著一部，发表论文

10余篇。

主要研究方向：

编译与逆编译，程序理解和分析的支持环境，智能信息处理等。

基于知识的逆编译系统DECLER, 1998年安徽省科学技术进步二等奖(排名2)

大中型泵站(群)综合自动化系统，2002年安徽省科学技术进步二等奖(排名8)

[1]陈凯明,刘宗田,逆编译中按特征恢复数据类型研究，计算机研究与发展,2001.7,Vol38,p209-213

[2] 陈凯明,刘宗田,逆编译系统中开关结构的识别与恢复,

小型微型计算机系统，2000.12,Vol21(12),p1279-1281(EI：01035573352)

[3] 陈凯明,刘宗田，任传胜,

逆编译中面向用户的中间语言设计，小型微型计算机系统，2002.10,Vol23(10),pp1173-1176

(EI：02497255978)

[4] 陈凯明,刘宗田,逆编译研究现状及其进展, 计算机科学,2001.5，Vol 28(5), p113-115

[5] 陈凯明,刘宗田,非纯变量下标的数组类型恢复,计算机工程与设计,2001.10, Vol22(5),p86-89

[6] 陈凯明,刘宗田等, A Specification Method of the Program Transformation for

Recovering Data Type from Executable

Code(英文)，国际(亚太)第一届微机应用学术会议论文集, Hefei, China 2000.5, p295-298

[7] 陈凯明,刘宗田等,符号执行过程的DFA和CFA，计算机工程, 2002.11,

Vol28(11),pp95-96

[8] 陈凯明，刘宗田等，用户库恢复，小型微型计算机系统，待发表。