暨南大學(xué)教授
陳火炎,1968年畢業(yè)于南開大學(xué)數(shù)學(xué)系本科,1968年起在某工業(yè)部某公司某設(shè)計(jì)部門從事無線電導(dǎo)航計(jì)算機(jī)系統(tǒng)硬、軟件研制十年。1982年獲國防科技大學(xué)計(jì)算機(jī)軟件碩士學(xué)位。1991年起任暨南大學(xué)計(jì)算機(jī)系正教授。1992年起招收碩士生,1994年起任香港大學(xué)聯(lián)合培養(yǎng)博士生導(dǎo)師(國務(wù)院僑辦備案)。1992年起獲國務(wù)院政府特殊津貼。
曾任暨南大學(xué)信息科技學(xué)院副院長(1999.5-2005.4)、兼計(jì)算機(jī)系系主任(1999.6- 2004.9)。曾任廣州市智能工程學(xué)會(huì)會(huì)長,F(xiàn)任暨南大學(xué)計(jì)算機(jī)軟件專業(yè)教授,香港大學(xué)軟件工程高級(jí)合作研究員,廣州市智能工程學(xué)會(huì)名譽(yù)會(huì)長,廣東省計(jì)算機(jī)學(xué)會(huì)副理事長,中國計(jì)算機(jī)學(xué)會(huì)容錯(cuò)計(jì)算專委委員,中國計(jì)算機(jī)學(xué)會(huì)CAD/CG專委委員,中國離散數(shù)學(xué)會(huì)常務(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é)軟件測試研究組合作研究一個(gè)月(1997.11-1997.12)。還到美國華盛頓、納什維爾、夏洛特、夏威夷,日本,英國,法國,荷蘭,突尼斯作過學(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等國際會(huì)議的程序委員,CDVE 2007、CDVE 2008國際會(huì)議的組委,并任IEEE SYMCYu20191999 (1999 in Tokyo, Japan)和IEEE SYMCY'2002(in Tunisia/France)的Quality & Reliability Engineering 專題分會(huì)主席。還任美國國際期刊“Information Science”, “International Journal of Software Engineering and Knowledge Engineering”和“Software Testing, Verification & Reliability” 的審稿人。
其研究方向?yàn)檐浖こ膛c知識(shí)工程,包括Formal Methods, Object-Oriented Methodology, Software Testing, Network Information Security, Logic Programming, Expert Systems, Discrete Mathematics.
主要論文:
在美國國際期刊“ACM 軟件工程及方法論學(xué)報(bào)”(ACM Transactions on Software Engineering and Methodology)、英國國際期刊“軟件實(shí)踐與經(jīng)驗(yàn)”(Software: Practice and Experience)、荷蘭國際期刊“信息與軟件技術(shù)”(Information and Software Technology)、IEEE SYMCY、IEEE HICSS和IEEE COMPSAC國際會(huì)議論文集等刊物上發(fā)表英文論文38篇,其中入Sci、Ei 33篇;在國內(nèi)刊物上發(fā)表論文40多篇,其中入Ei 5篇。