人物生平
1936年2月5日,陳火旺出生於福建省泉州市安溪縣長坑鄉玉南村。
1952年3月,陳火旺考入上海復旦大學數學系學習。
1956年3月,陳火旺從復旦大學畢業後留校任教,先後擔任助教、講師(至1970年1月)。同年加入中國共產黨。曾在北京大學數理邏輯專業、英國國家物理所進修。
1970年1月,陳火旺調到長沙工學院(1999年組建為中國人民解放軍國防科技大學),歷任(電子)計算機系副教授、系副主任、教授、博士生導師、研究生院副院長。
1990年,陳火旺被授予少將軍銜。
1997年,陳火旺當選為中國工程院院士,隸屬於信息與電子工程學部(計算機軟體與理論)。
2008年2月2日,陳火旺因病醫治無效,在長沙逝世,享年72歲 。
主要成就
科研成就
陳火旺在中國國內率先實現計算機符號宏彙編器。70年代初主持全國Fortran編譯程式會戰,設計成功中國第一個Fortran編譯系統。1979~1983年任銀河-I巨型計算機軟體總負責人,負責軟體系統的總體設計,直接主持向量語言的設計、編譯方案的制定和向量識別算法的研究與審定,“銀河-Ⅰ”獲1984年中央軍委國防科技成果特等獎。1987年起主持面向對象集成化開發環境研製,建造了國內首例面向對象環境;1989年起領導並主持非單調推理系統研究,把PROLOG從單調發展到非單調。這兩項目分別獲1991年、1993年國防科工委科技進步獎一等獎。領導完成的英漢機器翻譯系統,達到國際先進水平。編(譯)著4部,發表論文60餘篇 。
榮譽表彰
1991年被授予國家有突出貢獻中青年專家稱號,同年獲光華科學基金一等獎。
社會任職
陳火旺是武漢大學軟體工程國家重點實驗室學術委員會主任,國務院學位委員會計算機學科評議組成員,全國工科院校計算機專業教學指導委員會主任,國家“863計畫”信息領域第一屆專家委員會委員,中國軟體行業協會副主任委員 。
人物評價
陳火旺為中國計算機軟體與理論學科的建立和發展作出了貢獻,為國家、軍隊和學校人才培養、科學研究作出了貢獻。