陳海明

職務： 副主任

職稱： 中科院軟件所研究員，博士生導師

所在部門： 計算機科學國家重點實驗室

目前主要研究方向及簡介

目前主要研究方向為軟件設計方法和形式規約

包括計算模型、軟件設計方法和形式規約、編程語言。以提高軟件開發的生產率、可靠性和易用性為目標，研究軟件的需求、設計中需要的理論、方法和技術。目前，軟件開發研究的重點趨向高層，即需求、設計階段。對於複雜的軟件系統，和對可靠性要求高的系統，尤其需要有基於系統化理論基礎、特別是形式化方法的工具對需求、設計的支持。實際上，軟件的質量在很大程度上決定於這一階段的工作。這一階段對於降低軟件開發和維護代價有重要作用。而同時，這一階段中也充滿了具有挑戰性的問題，還有許多問題有待研究。

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月.