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