陈凯明??联系电话:(0551)3602824 E-mail:chenkm @ustc.edu.cn
　
陈凯明，男，副教授。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] 陈凯明，刘宗田等，用户库恢复，小型微型计算机系统，待发表。