计算机科学与技术学院
 
师资队伍

院士


大师讲席


教授


副教授

陈凯明


讲师


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>副教授

陈凯明

 

电 话:(0551)63602824
E- Mail: chenkm@ustc.edu.cn

 

 
主要研究方向
编译与逆编译,程序理解和分析的支持环境,智能信息处理等。

 

陈凯明,男,副教授。1964年生,安徽省潜山县人。于1986年、1991年、2004年分获合肥工业大学微机所学士、硕士和博士学位。1991.5-1999.12在合肥经济技术学院计算中心从事教学和科研工作。1999.12进入中国科学技术大学计算机系工作。以主要参加者完成国家攻关课题和自然科学基金项目多项,主持和参加省部校级和应用性开发项目10多项,译著一部,发表论文10余篇。

 

获 奖 情 况

   

◇ 基于知识的逆编译系统DECLER, 1998年安徽省科学技术进步二等奖(排名2)
◇ 大中型泵站(群)综合自动化系统,2002年安徽省科学技术进步二等奖(排名8)

 

主 要 论 著

   

[01]   陈凯明,刘宗田,逆编译中按特征恢复数据类型研究,计算机研究与发展, 2001.7,Vol38,p209-213
[02]  陈凯明,刘宗田,逆编译系统中开关结构的识别与恢复,小型微型计算机系统,2000.12,Vol21(12),p1279-1281(EI:01035573352)
[03]  陈凯明,刘宗田,任传胜,逆编译中面向用户的中间语言设计,小型微型计算机系统,2002.10,Vol23(10),pp1173-1176 (EI:02497255978)
[04]  陈凯明,刘宗田,逆编译研究现状及其进展, 计算机科学,2001.5,Vol 28(5), p113-115
[05]  陈凯明,刘宗田,非纯变量下标的数组类型恢复,计算机工程与设计,2001.10, Vol22(5),p86-89
[06]  陈凯明,刘宗田等, A Specification Method of the Program Transformation for
Recovering Data Type from Executable Code(英文),国际(亚太)第一届微机应用学术会议论文集, Hefei, China 2000.5, p295-298
[07]  陈凯明,刘宗田等,符号执行过程的DFA和CFA,计算机工程, 2002.11, Vol28(11),pp95-96
[08]  陈凯明,刘宗田等,用户库恢复,小型微型计算机系统,待发表。

 

CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027