暨南大學(xué)教授
陳火炎,1968年畢業(yè)于南開大學(xué)數(shù)學(xué)系本科,1968年起在某工業(yè)部某公司某設(shè)計部門從事無線電導(dǎo)航計算機系統(tǒng)硬、軟件研制十年。1982年獲國防科技大學(xué)計算機軟件碩士學(xué)位。1991年起任暨南大學(xué)計算機系正教授。1992年起招收碩士生,1994年起任香港大學(xué)聯(lián)合培養(yǎng)博士生導(dǎo)師(國務(wù)院僑辦備案)。1992年起獲國務(wù)院政府特殊津貼。
曾任暨南大學(xué)信息科技學(xué)院副院長(1999.5-2005.4)、兼計算機系系主任(1999.6- 2004.9)。曾任廣州市智能工程學(xué)會會長。現(xiàn)任暨南大學(xué)計算機軟件專業(yè)教授,香港大學(xué)軟件工程高級合作研究員,廣州市智能工程學(xué)會名譽會長,廣東省計算機學(xué)會副理事長,中國計算機學(xué)會容錯計算專委委員,中國計算機學(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)。還到美國華盛頓、納什維爾、夏洛特、夏威夷,日本,英國,法國,荷蘭,突尼斯作過學(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 SYMCYu20191999 (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 軟件工程及方法論學(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篇。