基本簡介
職務： 副主任
職稱： 中科院軟體所研究員，博士生導師
所在部門： 計算機科學國家重點實驗室
目前主要研究方向及簡介
目前主要研究方向為軟體設計方法和形式規約
研究方向
包括計算模型、軟體設計方法和形式規約、程式語言。以提高軟體開發的生產率、可靠性和易用性為目標，研究軟體的需求、設計中需要的理論、方法和技術。目前，軟體開發研究的重點趨向高層，即需求、設計階段。對於複雜的軟體系統，和對可靠性要求高的系統，尤其需要有基於系統化理論基礎、特別是形式化方法的工具對需求、設計的支持。實際上，軟體的質量在很大程度上決定於這一階段的工作。這一階段對於降低軟體開發和維護代價有重要作用。而同時，這一階段中也充滿了具有挑戰性的問題，還有許多問題有待研究。
學習經歷
1984.9-1989.7 中國科技大學計算機科學技術系 獲工學學士學位
1989.7-1992.7 中科院軟體所 獲工學碩士學位
1995.9-1999.2 中科院軟體所 獲工學博士學位
工作經歷
1992.7-現在 中科院軟體所
社會兼職
中國科學院研究生院教師
研究成果與獲獎情況
新型遞歸函式的高效定義手段和求值技術
形式規約語言LFC及其實現技術
基於MLIRF方法的軟體原型速成技術研究（主要研製者）
形式規約獲取系統SAQ（主要研製者）
支持可理解性與可復用性的軟體設計系統URS-1（主要研製者）
獲得中科院科技進步一等獎、國家科技進步二等獎的主要成員，還曾先後獲得中科院院長獎學金、中科院億利達獎學金、中科院盈科優秀青年學者獎
代表論著
陳海明. 一種新型遞歸函式的求值算法研究.《軟體學報》第15卷第9期, 2004.9, pp.1277-1291.
陳海明，董韞美. 一個支持規約獲取的形式規約語言.《計算機學報》第25卷第5期, 2002年5月, pp.459-466.
陳海明，董韞美. 形式規約語言LFC的設計. 智慧型計算機研究進展，863計畫智慧型計算機主題學術會議論文集，清華大學出版社，2001.3, pp.292-301.
陳海明，董韞美. 上下文無關語言分析樹的一種表示形式. 《計算機研究與發展》Vol.37,No.10, 2000.10. pp. 1179 - 1184.
陳海明，金蓓弘. Bezier曲線和直線的求交方法. 全國現代科學計算第二屆學術研討會論文集，2000.8, pp.28-29.
陳海明. 運算構造和檢驗系統FC的設計和實現. 《軟體學報》第9卷第10期, 1998.10, pp. 755-759.
董韞美，陳海明. 一個高質量漢字筆劃字形到輪廓字形的轉換系統.《軟體學報》Vol. 7, No. 5, 257--263, 1996年5月.
