队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
目前主要研究方向为软件设计与分析方法，数据、计算模型与应用；
研究方向简介：面向网络及未来应用，以提高软件开发的生产率、可靠性为目标，研究软件的设计、分析中需要的理论、方法和技术。
三、学习经历
1984.9-1989.7中国科技大学计算机科学技术系获工学学士学位
1989.7-1992.7中科院软件所获工学硕士学位
1995.9-1999.2中科院软件所获工学博士学位
四、工作经历
1992.7-现在中科院软件所
五、社会兼职
中国科学院研究生院教师
六、研究成果与获奖情况
新型递归函数的高效定义手段和求值技术
形式规约语言LFC及其实现技术
基于MLIRF方法的软件原型速成技术研究（主要研制者）
形式规约获取系统SAQ（主要研制者）
支持可理解性与可复用性的软件设计系统URS-1（主要研制者）
国家科技进步二等奖（第6名）、中科院盈科优秀青年学者奖、中科院院长奖学金优秀奖、中科院亿利达奖学金
七、代表论著
HaimingChenandYunmeiDong.Practicaltypecheckingoffunctionsdefinedoncontext-freelanguages.ToappearinJCST.
HaimingChenandYunmeiDong.Facilitatingformalspecificationacquisitionbyusingrecursivefunctionsoncontext-freelanguages.NewTrendsinSoftwareMethodologies,ToolsandTechniques(ProceedingsofthethirdSoMet_W04),Amsterdam:IOSPress,2004,213-227.
陈海明.一种新型递归函数的求值算法研究.《软件学报》第15卷第9期,2004.9,pp.1277-1291.
HaimingChenandYunmeiDong.IncorporatingStaticType-CheckingintoFunctionsDefinedonContext-FreeLanguages.SOFSEM2004:TheoryandPracticeofComputerScience,January2004,Merin,CzechRepublic,pp.39-47.
HaimingChen.StaticallytypedXMLprocessingbytheLFClanguage.CIT2003,December2003,Bhubaneswar,India,pp.177-182.
HaimingChenandYunmeiDong.Modelingandprototypingofsoftwaresystems.SEA2002,November2002,Cambridge,USA,pp.617-622.
HaimingChenandYunmeiDong.Yetanothermeta-languageforprogramminglanguageprocessing.ACMSIGPLANNotices,37(6),June2002,pp.28-37.
陈海明，董韫美.一个支持规约获取的形式规约语言.《计算机学报》第25卷第5期,2002年5月,pp.459-466.
ChenHaiming,DongYunmei.Practicaltypecheckingoffunctionsdefinedoncontext-freelanguages.ICYCS'2001,Oct.2001,Hangzhuo,China,pp.1261-1263.
ChenHaiming,DongYunmei.Patternmatchingcompilationoffunctionsdefinedoncontext-freelanguages.JournalofComputerScience&Technology,Mar.2001,Vol.16,No.2,pp.159-167.
陈海明，董韫美.形式规约语言LFC的设计.智能计算机研究进展，863计划智能计算机主题学术会议论文集，清华大学出版社，2001.3,pp.292-301.
陈海明，董韫美.上下文无关语言分析树的一种表示形式.《计算机研究与发展》Vol.37,No.10,2000.10.pp.1179-1184.
DongYunmei,LiKaide,ChenHaiming,etal.DesignandimplementationoftheformalspecificationacquisitionsystemSAQ.Conf.onSoftware:TheoryandPractice,IFIP16thWorldComputerCongress2000.August2000,Beijing,China,pp.201-211.
陈海明，金蓓弘.Bezier曲线和直线的求交方法.全国现代科学计算第二届学术研讨会论文集，2000.8,pp.28-29.
ChenHaiming.FunctiondefinitionlanguageFDLanditsimplementation.JournalofComputerScience&Technology,Vol.14,No.4,July1999,pp.414-421.
ChenHaiming.GettingcontoursoftwooverlappedregionsboundedbycubicBeziercurvesandstraightlines.ChineseJ.ofAdvancedSoftwareResearch,Vol.6,No.1,Feb.1999,pp.84-94.
AlsoinCAD/Graphics'97,Dec.1997.
陈海明.运算构造和检验系统FC的设计和实现.《软件学报》第9卷第10期,1998.10,pp.755-759.
董韫美，陈海明.一个高质量汉字笔划字形到轮廓字形的转换系统.《软件学报》Vol.7,No.5,257--263,1996年5月.
八、承担项目
