地图     English
陈海明

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 陈海明
跳转到: 导航, 搜索
职称: 研究员 Chm.jpg
研究方向: 软件设计和形式规约
电话: 010-62661612
E-Mail: chm(at)ios.ac.cn
个人主页: http://lcs.ios.ac.cn/~chm

作为负责人或主要骨干承担过十多项国家自然科学基金、863计划、院重点、院方向性 项目和国家科技攻关等科研项目。先后在软件复用技术、汉字字形技术及形式规约与计 算模型等方向上进行过研究,并获得了多个奖项。目前研究方向包括计算模型、软件设 计方法和形式规约、编程语言。是获得中科院科技进步一等奖、国家科技进步二等奖的 主要成员,还曾获得中科院盈科优秀青年学者奖。



版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号