陳火炎，1968年畢業(yè)于南開大學(xué)數(shù)學(xué)系本科，1968年起在某工業(yè)部某公司某設(shè)計部門從事無線電導(dǎo)航計算機(jī)系統(tǒng)硬、軟件研制十年。1982年獲國防科技大學(xué)計算機(jī)軟件碩士學(xué)位。1991年起任暨南大學(xué)計算機(jī)系正教授。1992年起招收碩士生，1994年起任香港大學(xué)聯(lián)合培養(yǎng)博士生導(dǎo)師(國務(wù)院僑辦備案)。1992年起獲國務(wù)院政府特殊津貼。
人物經(jīng)歷
曾任暨南大學(xué)信息科技學(xué)院副院長（1999.5-2005.4）、兼計算機(jī)系系主任（1999.6- 2004.9）。曾任廣州市智能工程學(xué)會會長。現(xiàn)任暨南大學(xué)計算機(jī)軟件專業(yè)教授，香港大學(xué)軟件工程高級合作研究員，廣州市智能工程學(xué)會名譽會長，廣東省計算機(jī)學(xué)會副理事長，中國計算機(jī)學(xué)會容錯計算專委委員，中國計算機(jī)學(xué)會CAD/CG專委委員，中國離散數(shù)學(xué)會常務(wù)理事，廣州市科協(xié)委員。
曾在美國伊利諾大學(xué)(at Urbana-Champaign)留學(xué)兩年(1986.2-1988.2)。多次應(yīng)邀聘到香港大學(xué)軟件工程組合作研究共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)。一次應(yīng)邀到澳洲墨爾本大學(xué)軟件測試研究組合作研究一個月（1997.11-1997.12）。還到美國華盛頓哥倫比亞特區(qū)、納什維爾、夏洛特、夏威夷，日本，英國，法國，荷蘭，突尼斯作過學(xué)術(shù)交流。
陳火炎曾任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 數(shù)學(xué)
主講課程
主要開設(shè)的研究生課有：高級軟件工程、邏輯程序設(shè)計和知識工程。
主要貢獻(xiàn)
主要論文
在美國國際期刊“ACM 軟件工程及方法論學(xué)報”(ACM Transactions on Software Engineering and Methodology)、英國國際期刊“軟件實踐與經(jīng)驗”(Software: Practice and Experience)、荷蘭國際期刊“信息與軟件技術(shù)”(Information and Software Technology)、IEEE SYMCY、IEEE HICSS和IEEE COMPSAC國際會議論文集等刊物上發(fā)表英文論文38篇，其中入Sci、Ei 33篇；在國內(nèi)刊物上發(fā)表論文40多篇，其中入Ei 5篇。
1995年以來的主要研究論文有：
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}.
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 }.
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一個國際會議及其論文集上發(fā)表軟件測試方面的論文1篇, 本人為第一作者{入工程索引Ei}; 2007年在Springer期刊上發(fā)表信息安全方面的論文1篇，本人為第二作者。
[37-31] 2006年10月在臺北市召開的IEEE一個國際會議及其論文集上發(fā)表軟件測試方面的論文2篇, 其中一篇為第一作者、另一篇為第二作者（通信作者）{均入工程索引Ei}; 2006年在國外期刊上發(fā)表信息安全方面的論文1篇，本人為第三作者；在國內(nèi)核心期刊上發(fā)表軟件工程方面的論文3篇、信息安全方面的論文1篇，本人均為第二作者。
2005年1月在夏威夷召開的IEEE一個國際會議及其論文集上發(fā)表軟件測試方面的論文1篇，本人為獨立作者. {入工程索引Ei}.
2004年在荷蘭召開的IEEE一個國際會議及其論文集上發(fā)表軟件測試方面的論文1篇，本人為第一作者. {入工程索引Ei}.
[28-25] 2004年在"計算機(jī)學(xué)報"等國內(nèi)核心期刊上發(fā)表論文4篇，本人均為第二作者，其中軟件測試方面的論文1篇，信息安全方面的論文3篇. {入工程索引Ei一篇}.
[24-19] 2003年在美國召開的IEEE兩個國際會議及其論文集上發(fā)表軟件測試方面的論文6篇，其中本人為獨立作者的有2篇，為第一作者的有2篇，為第二作者的有2篇. {均入工程索引Ei}.
[18,17] 2003年在國內(nèi)核心期刊上發(fā)表論文2篇，本人均為第二作者，其中軟件測試方面的論文1篇，信息安全方面的論文1篇.
[16-14] 2002年在法國主辦的IEEE一個國際會議及其論文集上發(fā)表軟件測試方面的論文2篇、軟件設(shè)計方法方面的論文1篇。本人均為獨立作者. {均入工程索引Ei}.
[13-11] 2000年在美國召開的IEEE一個國際會議及其論文集上發(fā)表軟件測試方面的論文3篇。其中本人為獨立作者的有2篇，為第一作者的有1篇。 {均入工程索引Ei}.
[10-8] 1999年在日本召開的IEEE一個國際會議及其論文集上發(fā)表軟件測試方面的論文2篇、軟件設(shè)計方法方面的論文1篇。本人均為獨立作者. {均入工程索引Ei}.
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收錄}.
盧建朱，陳火炎，林飛, ElGamal 型多重數(shù)字簽名算法及安全性，計算機(jī)研究與發(fā)展，37卷11期，（中國計算機(jī)學(xué)會會刊，ISSN 1000-1239, CODEN JYYFEY）, PP.1335-1339, 2000年11月. {被Ei收錄}.
盧建朱，陳火炎，具有 (t, n) 共享驗證的認(rèn)證加密方案及其安全性，計算機(jī)研究與發(fā)展，38卷9期，（中國計算機(jī)學(xué)會會刊，中國自然科學(xué)核心期刊, ISSN 1000-1239, CODEN JYYFEY）, PP.11042-1045, 2001年9月. {被Ei收錄}.
盧建朱，陳火炎，林飛，基于智能卡的認(rèn)證加密方案，小型微型計算機(jī)系統(tǒng)，21卷10期，（中國自然科學(xué)核心期刊，ISSN 1000-1220，CODEN XWJXEH）, PP.1065-1066,文章編號：1000-1220（2000）10-1065-02，2000年10月.
陳火炎，曾毅輝，Client/Server 系統(tǒng)處理分布的離散模型，計算機(jī)科學(xué)，26卷7期，1999.7, pp.47-50.
T.H.Tse, T.Y.Chen, H.Y.Chen(陳火炎), H.L.Xie, The Application of Prolog to Structured 設(shè)計, 英國國際期刊 Software: Practice and Experience, Vol.24(7), 659-676, July 1994, (香港政府資助項目). {被Sci收錄, 被Sci引用, 被Ei收錄，入INSPEC }.
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 國際會議及論文集.(香港政府資助項目).其修改稿發(fā)表于英國國際期刊Computer Education, Vol.24, No.4, P293-298, 1995, Elsever Science Ltd. {被Ei收錄}.
科研項目
陳火炎先后參加中國718工程、美國航空航天局基礎(chǔ)研究基金、主要參加香港政府RGC研究基金、主持廣東省科學(xué)基金、主持國家自然科學(xué)基金研究項目共十二個。主持完成了一個無線電導(dǎo)航軟件系統(tǒng)、一個軟件設(shè)計輔助工具、四個軟件測試工具和三個醫(yī)用專家系統(tǒng)的研制。1995年以來的研究項目有：
(1) An integrated approach to class level testing of object-oriented programs，1995.11-98.04，香港政府RGC研究基金#香港大學(xué)291/95E，主要參加者(該項目組中唯一的full 時間 成員，其論文第一作者)；
(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) 面向?qū)ο筌浖?類級)測試自動化理論和技術(shù)的研究，96.01-98.12，廣東省科學(xué)基金 #950618，負(fù)責(zé)人；
(4) 面向?qū)ο筌浖惣壓妥寮墱y試之研究，99.01-2001.12，廣東省科學(xué)基金 #980690，負(fù)責(zé)人；
(5) 面向?qū)ο?a href="/hebeideji/7205817417342386213.html">軟件測試方法論之研究，99.01-2001.12，國家自然科學(xué)基金 #69873020，負(fù)責(zé)人。
(6) 面向?qū)ο筌浖l(fā)性分析與測試方法論之研究（基于框架和組件）,2002.1-2004.12, 國家自然科學(xué)基金 #60173038，負(fù)責(zé)人。
(7) 并發(fā)性面向?qū)ο筌浖o態(tài)分析與動態(tài)測試方法之研究（基于多線程），2002.1-2004.,廣東省自然科學(xué)基金重點項目#010421,負(fù)責(zé)人。
(8) 基于近海水環(huán)境監(jiān)測的無線傳感器網(wǎng)絡(luò)控制機(jī)制研究, 2007.10- 2009.12, 廣東省科學(xué)基金項目, #7010116, 第二承擔(dān)人。
(9) 廣東信息產(chǎn)業(yè)技術(shù)發(fā)展戰(zhàn)略研究，2007.1-2010.12, 國家自然科學(xué)基金/廣東省科學(xué)基金聯(lián)合重點項目, #U0775001, 第二承擔(dān)人。
(10) 對等網(wǎng)絡(luò)準(zhǔn)入控制機(jī)制的研究, 2008.1-2008.12, 國家自然科學(xué)基金項目, #60773083, 第二承擔(dān)人。
獲獎記錄
已獲教育部提名國家科學(xué)技術(shù)獎自然科學(xué)獎貳等獎一個（屬軟件工程領(lǐng)域），廣東省自然科學(xué)成果三等獎兩個（一個屬軟件工程領(lǐng)域，一個屬知識工程領(lǐng)域）,省教育廳科技進(jìn)步二等獎一個(屬知識工程領(lǐng)域),省教育廳科技進(jìn)步三等獎一個(屬知識工程領(lǐng)域)。
培養(yǎng)研究生
已培養(yǎng)計算機(jī)專業(yè)各類研究生19人，其工作單位有大專院校、政府機(jī)構(gòu)、IT企業(yè)（如谷歌, IBM, BEA 等）。
參考資料 >