陈火炎，1968年毕业于南开大学数学系本科，1968年起在某工业部某公司某设计部门从事无线电导航计算机系统硬、软件研制十年。1982年获国防科技大学计算机软件硕士学位。1991年起任暨南大学计算机系正教授。1992年起招收硕士生，1994年起任香港大学联合培养博士生导师(国务院侨办备案)。1992年起获国务院政府特殊津贴。

曾任暨南大学信息科技学院副院长（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}.

[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 等）。