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