基本介紹
- 中文名：陳火炎
- 國籍：中國
- 職業：中國離散數學會常務理事,廣州市科協委員
- 畢業院校：南開大學數學系本科
- 學歷：大學
- 性別：男
人物經歷,研究方向,主講課程,主要貢獻,主要論文,科研項目,獲獎記錄,培養研究生,
人物經歷
曾任暨南大學信息科技學院副院長（1999.5-2005.4）、兼計算機系系主任（1999.6- 2004.9）。曾任廣州市智慧型工程學會會長。現任暨南大學計算機軟體專業教授，香港大學軟體工程高級合作研究員，廣州市智慧型工程學會名譽會長,廣東省計算機學會副理事長，中國計算機學會容錯計算專委委員，中國計算機學會CAD/CG專委委員，中國離散數學會常務理事,廣州市科協委員。
曾在美國伊利諾大學(at Urbana-Champaign)留學兩年(1986.2-1988.2)。多次應邀聘到香港大學軟體工程組合作研究共9年(1989.6-1990.12; 1991.8-10; 1992.10-1994.10；1995.11-1998.11；1999.1-3,6-9；2000.1-3,6-9; 2001.7-8; 2002.2-3, 2002.9-2003.3;2003.7-9;2004.1-3;2005.2-4)。一次應邀到澳洲墨爾本大學軟體測試研究組合作研究一個月（1997.11-1997.12）。還到美國華盛頓、納什維爾、夏洛特、夏威夷，日本，英國，法國，荷蘭，突尼西亞作過學術交流。
陳火炎曾任IEEE Asia-Pacific Software Engineering Conference (1998 in Taipei) 和 First, Second and Third Asia-Pacific Conferences on Software Quality (2000, 2001 and 2002 in Hong Kong), IEEE Twelfth Asian Test Symposium (2003, in Xi'An), IEEE International Conference on Software Engineering and Formal Method(2003 in Australia),1st ETQSE(2005 in Melbourne, AUSTRALIA) ,IASTED-ACST 2007等國際會議的程式委員,CDVE 2007、CDVE 2008國際會議的組委,並任IEEE SYMCY’1999 (1999 in Tokyo, Japan)和IEEE SYMCY'2002(in Tunisia/France)的Quality & Reliability Engineering 專題分會主席。還任美國國際期刊“Information Science”， “International Journal of Software Engineering and Knowledge Engineering”和“Software Testing, Verification & Reliability” 的審稿人。
研究方向
其研究方向為軟體工程與知識工程，包括Formal Methods, Object-Oriented Methodology, Software Testing, Network Information Security, Logic Programming, Expert Systems, Discrete Mathematics.
主講課程
主要開設的研究生課有：高級軟體工程、邏輯程式設計和知識工程。
主要貢獻
主要論文
在美國國際期刊“ACM 軟體工程及方法論學報”(ACM Transactions on Software Engineering and Methodology)、英國國際期刊“軟體實踐與經驗”(Software: Practice and Experience)、荷蘭國際期刊“信息與軟體技術”(Information and Software Technology)、IEEE SYMCY、IEEE HICSS和IEEE COMPSAC國際會議論文集等刊物上發表英文論文38篇，其中入Sci、Ei 33篇；在國內刊物上發表論文40多篇,其中入Ei 5篇。
1995年以來的主要研究論文有：
[42] Huo Yan CHEN (陳火炎), T.H. Tse, and T.Y. Chen, TACCLE: A Methodology for Object-Oriented Software Testing At the Class and Cluster Levels, 美國國際期刊ACM Transactions on Software Engineering and Methodology, Vol.10, No.1, pp.56-109 (54 pages), Jan. 2001. {被Sci收錄, 被Sci引用，入INSPEC}.
[41] Huo Yan Chen(陳火炎), T.H. Tse, Yue Yang Deng, ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique, 荷蘭國際期刊Information and Software technology, Vol. 42, No. 10, pp677-686，2000年7月. {被Sci收錄, 被Sci引用, 被Ei收錄，入INSPEC }.
[40] Huo Yan Chen (陳火炎), T.H. Tse, F.T. Chan, T.Y. Chen, In black and white: an integrated approach to class level testing of object-oriented programs, 美國國際期刊ACM Transactions on Software Engineering and Methodology, Vol.7, No.3, pp.250-295 (46 pages), July 1998. {被Ei收錄，入INSPEC }.
[39-38] 2007年10月在加拿大召開的IEEE一個國際會議及其論文集上發表軟體測試方面的論文1篇, 本人為第一作者{入工程索引Ei}; 2007年在Springer期刊上發表信息安全方面的論文1篇,本人為第二作者。
[37-31] 2006年10月在台北召開的IEEE一個國際會議及其論文集上發表軟體測試方面的論文2篇, 其中一篇為第一作者、另一篇為第二作者（通信作者）{均入工程索引Ei}; 2006年在國外期刊上發表信息安全方面的論文1篇,本人為第三作者；在國核心心期刊上發表軟體工程方面的論文3篇、信息安全方面的論文1篇，本人均為第二作者。
[30] 2005年1月在夏威夷召開的IEEE一個國際會議及其論文集上發表軟體測試方面的論文1篇,本人為獨立作者. {入工程索引Ei}.
[29] 2004年在荷蘭召開的IEEE一個國際會議及其論文集上發表軟體測試方面的論文1篇,本人為第一作者. {入工程索引Ei}.
[28-25] 2004年在"計算機學報"等國核心心期刊上發表論文4篇,本人均為第二作者,其中軟體測試方面的論文1篇,信息安全方面的論文3篇. {入工程索引Ei一篇}.
[24-19] 2003年在美國召開的IEEE兩個國際會議及其論文集上發表軟體測試方面的論文6篇,其中本人為獨立作者的有2篇,為第一作者的有2篇,為第二作者的有2篇. {均入工程索引Ei}.
[18,17] 2003年在國核心心期刊上發表論文2篇,本人均為第二作者,其中軟體測試方面的論文1篇,信息安全方面的論文1篇.
[16-14] 2002年在法國主辦的IEEE一個國際會議及其論文集上發表軟體測試方面的論文2篇、軟體設計方法方面的論文1篇。本人均為獨立作者. {均入工程索引Ei}.
[13-11] 2000年在美國召開的IEEE一個國際會議及其論文集上發表軟體測試方面的論文3篇。其中本人為獨立作者的有2篇,為第一作者的有1篇。 {均入工程索引Ei}.
[10-8] 1999年在日本召開的IEEE一個國際會議及其論文集上發表軟體測試方面的論文2篇、軟體設計方法方面的論文1篇。本人均為獨立作者. {均入工程索引Ei}.
[7] Jian-zhu Lu and HuoYan Chen (陳火炎)，Improvement of authenticated encryption scheme with (t, n) shared verification，The Proceedings of IEEE COMPSAC’2000, pp.445-448, Taipei, Taiwan，2000年10月.{被Ei收錄}.
[6] 盧建朱，陳火炎，林飛, ElGamal 型多重數字簽名算法及安全性，計算機研究與發展，37卷11期，（中國計算機學會會刊，ISSN 1000-1239, CODEN JYYFEY）, PP.1335-1339, 2000年11月. {被Ei收錄}.
[5] 盧建朱，陳火炎，具有 (t, n) 共享驗證的認證加密方案及其安全性，計算機研究與發展，38卷9期，（中國計算機學會會刊，中國自然科學核心期刊, ISSN 1000-1239, CODEN JYYFEY）, PP.11042-1045, 2001年9月. {被Ei收錄}.
[4] 盧建朱，陳火炎，林飛，基於智慧卡的認證加密方案，小型微型計算機系統，21卷10期，（中國自然科學核心期刊，ISSN 1000-1220，CODEN XWJXEH）, PP.1065-1066,文章編號：1000-1220（2000）10-1065-02，2000年10月.
[3] 陳火炎，曾毅輝，Client/Server 系統處理分布的離散模型，計算機科學，26卷7期，1999.7, pp.47-50.
[2] T.H.Tse, T.Y.Chen, H.Y.Chen(陳火炎), H.L.Xie, The Application of Prolog to Structured Design, 英國國際期刊 Software: Practice and Experience, Vol.24(7), 659-676, July 1994, (香港政府資助項目). {被Sci收錄, 被Sci引用, 被Ei收錄，入INSPEC }.
[1] H.K.Ma, Y.F.Chan, H.Y.Chen(陳火炎), F.T.Chan, T.Y.Chen, Use of Expert System in Teaching Family Planning, 澳洲1991.12月 ASCILITE'91 國際會議及論文集.(香港政府資助項目).其修改稿發表於英國國際期刊Computer Education, Vol.24, No.4, P293-298, 1995, Elsever Science Ltd. {被Ei收錄}.
科研項目
陳火炎先後參加中國718工程、美國宇航局基礎研究基金、主要參加香港政府RGC研究基金、主持廣東省科學基金、主持國家自然科學基金研究項目共十二個。主持完成了一個無線電導航軟體系統、一個軟體設計輔助工具、四個軟體測試工具和三個醫用專家系統的研製。1995年以來的研究項目有：
(1) An integrated approach to class level testing of object-oriented programs，1995.11-98.04，香港政府RGC研究基金#HKU291/95E，主要參加者(該項目組中唯一的full time 成員，其論文第一作者)；
(2) TACCLE: A Methodology for Object-Oriented Software Testing At the Class and Cluster Levels,1999.9.1-2002.8.31，香港政府RGC研究基金#7033/99E，主要參加者(其論文的第一作者)；
(3) 面向對象軟體(類級)測試自動化理論和技術的研究，96.01-98.12，廣東省科學基金 #950618，負責人；
(4) 面向對象軟體類級和族級測試之研究，99.01-2001.12，廣東省科學基金 #980690，負責人；
(5) 面向對象軟體測試方法論之研究，99.01-2001.12，國家自然科學基金 #69873020，負責人。
(6) 面向對象軟體並發性分析與測試方法論之研究（基於框架和組件）,2002.1-2004.12, 國家自然科學基金 #60173038，負責人。
(7) 並發性面向對象軟體靜態分析與動態測試方法之研究（基於多執行緒），2002.1-2004.,廣東省自然科學基金重點項目#010421,負責人。
(8) 基於近海水環境監測的無線感測器網路控制機制研究, 2007.10- 2009.12, 廣東省科學基金項目, #7010116, 第二承擔人。
(9) 廣東信息產業技術發展戰略研究，2007.1-2010.12, 國家自然科學基金/廣東省科學基金聯合重點項目, #U0775001, 第二承擔人。
(10) 對等網路準入控制機制的研究, 2008.1-2008.12, 國家自然科學基金項目, #60773083, 第二承擔人。
獲獎記錄
已獲教育部提名國家科學技術獎自然科學獎貳等獎一個（屬軟體工程領域），廣東省自然科學成果三等獎兩個（一個屬軟體工程領域，一個屬知識工程領域）,省教育廳科技進步二等獎一個(屬知識工程領域),省教育廳科技進步三等獎一個(屬知識工程領域)。
培養研究生
已培養計算機專業各類研究生19人,其工作單位有大專院校、政府機構、IT企業（如Google, IBM, BEA 等）。
