1936年2月5日,陳火旺出生(sheng)于福建省泉州市安溪縣長坑鄉玉南村。
1952年3月,考入上(shang)海復旦大學數(shu)學系(xi)學。
1956年(nian)(nian)3月(yue),從復旦大學畢業后留校任教,先后擔任助教、講師(shi)(至1970年(nian)(nian)1月(yue));同年(nian)(nian)加入中國共產(chan)黨。
1956年(nian)9月—1959年(nian)2月,在北京大學數(shu)理邏輯專業進修。
1965年10月(yue)—1967年2月(yue),在英國皇家物理所進修。
1970年(nian)1月,調到長沙工(gong)學院(1999年(nian)組建為(wei)中國(guo)人(ren)民(min)解放軍國(guo)防科技大(da)學),歷任(電(dian)子(zi))計算機系(xi)副(fu)教授(shou)、系(xi)副(fu)主任、教授(shou)、博士(shi)生導(dao)師(shi)、研(yan)究生院副(fu)院長。
1990年(nian),被授予少將軍(jun)銜。
1997年,當選為中國工程(cheng)院(yuan)院(yuan)士,隸屬于信息與電子工程(cheng)學部(bu)。
2008年(nian)(nian)2月2日,因病(bing)醫治無效,在長沙逝(shi)世,享年(nian)(nian)72歲。
科研綜述
陳火(huo)旺在中(zhong)國(guo)國(guo)內率先實現計(ji)(ji)算(suan)機符號宏匯編器。20世(shi)紀70年(nian)代初主(zhu)持全國(guo)Fortran編譯(yi)程序會戰(zhan),設(she)(she)計(ji)(ji)成功中(zhong)國(guo)第一個(ge)Fortran編譯(yi)系統。1979年(nian)—1983年(nian)擔任銀(yin)河-I巨型計(ji)(ji)算(suan)機軟件(jian)總(zong)負責(ze)人,負責(ze)軟件(jian)系統的(de)總(zong)體設(she)(she)計(ji)(ji),直接主(zhu)持向(xiang)量語言的(de)設(she)(she)計(ji)(ji)、編譯(yi)方案的(de)制定(ding)和向(xiang)量識別算(suan)法的(de)研(yan)究與審(shen)定(ding),“銀(yin)河-I”獲(huo)(huo)得1984年(nian)中(zhong)央軍委國(guo)防科技成果特等獎(jiang)。1987年(nian)起主(zhu)持面(mian)向(xiang)對(dui)象集成化開發(fa)環境(jing)研(yan)制,建造了中(zhong)國(guo)國(guo)內首(shou)例(li)面(mian)向(xiang)對(dui)象環境(jing);1989年(nian)起領導并主(zhu)持非單調(diao)推理(li)系統研(yan)究,把PROLOG從(cong)單調(diao)發(fa)展到(dao)非單調(diao),這兩項目分別獲(huo)(huo)得1991年(nian)、1993年(nian)國(guo)防科工委科技進步獎(jiang)一等獎(jiang)。
學術論著
根據2019年(nian)11月中國工程院(yuan)網站顯示(shi),陳火旺出版編(譯(yi))著4部,發(fa)表論(lun)文60余(yu)篇。
出版日期 名稱 作者 出版社
1980.11 《結構程序設計》 (英)O.J. Darl等(deng)著;陳火旺等(deng)譯 北京:科學出版社(she)
1980.11 《程(cheng)序設計語言編譯原理(li)》 陳火旺編 北京:國防工(gong)業出版社
1984.06 《程(cheng)序設(she)計語言編(bian)譯原理》 陳火旺等編(bian) 北京:國防工(gong)業出(chu)版社
1987.04 《程序設計方法學(xue)基礎》 陳(chen)火旺編著(zhu) 長(chang)沙:湖南科學(xue)技(ji)術出(chu)版社
2000.01 《程序設計語言 編(bian)譯原理》 陳火旺等(deng)編(bian)著 北京:國防工(gong)業出版社
2004.10 《程序設(she)計(ji)語言 編譯原(yuan)理 第(di)3版》 陳(chen)火旺(wang)等編著 北(bei)京:國(guo)防(fang)工(gong)業出版社
2010.06 《程序設計語言(yan) 編譯原理 第3版》 陳火旺著 北京(jing):國防工(gong)業出(chu)版社
科普報告
2003年(nian)10月,陳火旺作為“院士八閩行”活動的成員之一前往廈門(men),以《建設科技合作通道,提高(gao)公眾科學素養》為主題(ti),進行調研(yan)、指導(dao)工作和舉辦科普報(bao)告。
時間 榮譽表彰 授予單(dan)位
1985年 二等功(gong)
1991年 國(guo)(guo)家有突出貢(gong)獻(xian)中(zhong)青年專家稱號(hao) 中(zhong)華人民共和國(guo)(guo)國(guo)(guo)務院
1991年 光(guang)華科學基金一等(deng)獎(jiang) 中國光(guang)華科技基金會
1997年 中(zhong)國(guo)工(gong)程(cheng)院院士 中(zhong)國(guo)工(gong)程(cheng)院
陳火旺(wang)先后擔任武漢(han)大學(xue)(xue)軟件(jian)工(gong)程國家(jia)重(zhong)點實驗室學(xue)(xue)術委(wei)(wei)員(yuan)(yuan)會主任,國務院學(xue)(xue)位委(wei)(wei)員(yuan)(yuan)會計算機(ji)學(xue)(xue)科(ke)評議組成員(yuan)(yuan),全(quan)國工(gong)科(ke)院校計算機(ji)專業教學(xue)(xue)指導委(wei)(wei)員(yuan)(yuan)會主任,國家(jia)“863計劃”信(xin)息領域第一屆專家(jia)委(wei)(wei)員(yuan)(yuan)會委(wei)(wei)員(yuan)(yuan),中國軟件(jian)行業協(xie)會副主任委(wei)(wei)員(yuan)(yuan)。
陳火旺是銀(yin)河-I巨型計算機(ji)(ji)軟(ruan)件總負(fu)責人(ren),為中國(guo)(guo)計算機(ji)(ji)軟(ruan)件與理論學科的(de)建立和(he)發(fa)展作出了貢(gong)獻(xian)。(中華人(ren)民共(gong)和(he)國(guo)(guo)國(guo)(guo)防部評)
陳火旺是中(zhong)國計算機軟(ruan)件事業的奠基人之一,為國家、軍(jun)隊和(he)學校人才培養、科(ke)學研究作(zuo)出了貢(gong)獻。(《人民日報》評)