陳火旺
陳火旺(1936年2月5日-2008年2月2日)，福建安溪人，計算機軟件專家[1]，少將軍銜，中國工程院院士[2]，國防科學技術大學計算機學院教授、博士生導師 。
| 陳火旺 | |
|---|---|
|
中國工程院院士 | |
| 出生 |
1936年02月05日 福建省泉州市安溪縣 |
| 逝世 | 2008年2月2日 |
| 國籍 | 中國 |
| 職業 | 教育科研工作者 |
| 知名作品 | 《程序設計語言編譯原理》 |
1956年陳火旺從復旦大學畢業後留校任教 ，同年加入中國共產黨;1970年調到長沙工學院，歷任(電子)計算機系副教授、系副主任、教授、博士生導師、研究生院副院長;1990年被授予少將軍銜;1997年當選為中國工程院院士;2008年2月2日在長沙逝世，享年72歲 。
陳火旺長期從事計算機軟件和人工智能等方面的教學和研究，是中國第一台億次銀河巨型計算機研製的主要設計者和領導者之一[3] 。
目錄
人物簡介
1956年畢業於上海復旦大學數學系，同年加入中國共產黨，留校任助教。曾在北京大學數理邏輯專業、英國國家物理所進修。1970年調長沙工學院（後改名國防科技大學），歷任（電子）計算機系副教授、系副主任、教授、博士生導師、研究生院副院長。1990年被授予少將軍銜。 1997年當選為中國工程院信息與電子工程學部院士。是武漢大學軟件工程國家重點實驗室學術委員會主任，國務院學位委員會計算機學科評議組成員，全國工科院校計算機專業教學指導委員會主任，國家「863計劃」信息領域第一屆專家委員會委員，中國軟件行業協會副主任委員。
人物生平
1936年2月5日，陳火旺出生於福建省泉州市安溪縣長坑鄉玉南村 。
1952年3月，考入上海復旦大學數學系學習 。
1956年3月，從復旦大學畢業後留校任教，先後擔任助教、講師(至1970年1月);同年加入中國共產黨。
1956年9月-1959年2月，在北京大學數理邏輯專業進修。
1965年10月-1967年2月，在英國皇家物理所進修。
1970年1月，調到長沙工學院(1999年組建為中國人民解放軍國防科技大學)，歷任(電子)計算機系副教授、系副主任、教授、博士生導師、研究生院副院長。
1990年，被授予少將軍銜。
1997年，當選為中國工程院院士，隸屬於信息與電子工程學部。
2008年2月2日，因病醫治無效，在長沙逝世，享年72歲[4] 。
主要成就
科研成就
科研綜述
| 陳火旺 | |
|---|---|
|
陳火旺，我國計算機軟件事業的開拓者 |
陳火旺在中國國內率先實現計算機符號宏匯編器。20世紀70年代初主持全國Fortran編譯程序會戰，設計成功中國第一個Fortran編譯系統。1979年-1983年擔任銀河-I巨型計算機軟件總負責人，負責軟件系統的總體設計，直接主持向量語言的設計、編譯方案的制定和向量識別算法的研究與審定，"銀河-I"獲得1984年中央軍委國防科技成果特等獎。1987年起主持面向對象集成化開發環境研製，建造了中國國內首例面向對象環境;1989年起領導並主持非單調推理系統研究，把PROLOG從單調發展到非單調，這兩項目分別獲得1991年、1993年國防科工委科技進步獎一等獎 。
學術論著
根據2019年11月中國工程院網站顯示，陳火旺出版編(譯)著4部，發表論文60餘篇 。
1980.11-- 《結構程序設計》-- (英)O.J. Darl等著;陳火旺等譯-- 北京:科學出版社
1980.11-- 《程序設計語言編譯原理》-- 陳火旺編-- 北京:國防工業出版社
1984.06-- 《程序設計語言編譯原理》-- 陳火旺等編-- 北京:國防工業出版社
1987.04--《程序設計方法學基礎》-- 陳火旺編著-- 長沙:湖南科學技術出版社
2000.01--《程序設計語言 編譯原理》-- 陳火旺等編著-- 北京:國防工業出版社
2004.10 --《程序設計語言 編譯原理 第3版》-- 陳火旺等編著-- 北京:國防工業出版社
2010.06--《程序設計語言 編譯原理 第3版》-- 陳火旺著-- 北京:國防工業出版社
人才培養
科普報告
2003年10月，陳火旺作為"院士八閩行"活動的成員之一前往廈門，以《建設科技合作通道，提高公眾科學素養》為主題，進行調研、指導工作和舉辦科普報告 。
成就及榮譽
1991年被授予國家有突出貢獻中青年專家稱號，同年獲光華科學基金一等獎[5]。長期從事計算機軟件和人工智能等方面的教學和研究。建立了有限函數空間上的能行運算和能行連續泛函理論；主持國內第一個符號匯編語言和宏指令產生器的設計與實現；主持中國第一個FORTRAN編譯程序的設計，獲1978年全國科學大會獎；參與領導中國第一台巨型計算機銀河I的研製，負責軟件系統總體設計，獲特等國防科技成果獎；主持國內最早的一個面向對象集成化軟件開發環境GWOSE的研製，獲國防科工委科技進步一等獎；領導自然語言處理的研究，研製成功英漢機器編譯系統MATRIX，獲全國優秀軟件二等獎；在人工智能方面主持研製的非單 調推理系統1993年獲國防科工委科技進步一等獎[6]。撰有《能行連續泛函》、《串行運算向量化》等論文、研究報告60餘篇；主編有《數理邏輯與控制論》、《程序設計語言編譯原理》、《程序設計方法學基礎》等。
陳火旺院士為我國計算機軟件與理論學科的建立和發展作出了貢獻，為國家、軍隊和學校人才培養、科學研究作出了貢獻。
社會任職
陳火旺先後擔任武漢大學軟件工程國家重點實驗室學術委員會主任，國務院學位委員會計算機學科評議組成員，全國工科院校計算機專業教學指導委員會主任，國家"863計劃"信息領域第一屆專家委員會委員，中國軟件行業協會副主任委員 。
個人生活
陳火旺的父親是目不識丁的鐵匠，父親在火焰通紅的鐵匠爐邊想到給他起名為"火旺" 。
人物評價
陳火旺是銀河-I巨型計算機軟件總負責人，為中國計算機軟件與理論學科的建立和發展作出了貢獻 。(中華人民共和國國防部評)
陳火旺是中國計算機軟件事業的奠基人之一，為國家、軍隊和學校人才培養、科學研究作出了貢獻 。(《人民日報》評)