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

职称:	研究员
研究方向：	软件设计和形式规约
电话:	010-62661612
E-Mail:	chm(at)ios.ac.cn
个人主页：	http://lcs.ios.ac.cn/~chm

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