陳火旺[中國工程院院士]

陳火旺（1936年2月5日--2008年2月2日），計算機軟體專家，是我國第一台億次銀河巨型計算機研製的主要設計者和領導者之一。福建省安溪縣長坑鄉玉南村人，中國工程院院士，國防科學技術大學計算機學院教授、博士生導師。2008年2月2日因病醫治無效，在長沙逝世，享年72歲。

基本信息

• 中文名：陳火旺
• 出生日期：1936年2月5日
• 性別：男
• 出生地：福建省安溪縣長坑鄉玉南村
• 民族：漢族
• 國籍：中國
• 去世日期：2008年2月2日
• 職業：中國工程院院士 國防科學技術大學計算機學院教授
  
• 畢業院校：復旦大學數學系
• 政黨：中國共產黨

• 成就：設計我國第一台銀河巨型計算機

簡介

陳火旺計算機軟體專家，福建省安溪縣人。1956年畢業於上海復旦大學數學系，同年加入中國共產黨，留校任助教。曾任國防科技大學教授。在國內率先實現計算機符號宏彙編器。70年代初主持全國Fortran編譯程式會戰，設計成功我國第一個Fortran編譯系統。1979-1983年任銀河-I巨型計算機軟體總負責人，負責軟體系統的總體設計，直接主持向量語言的設計、編譯方案的制定和向量識別算法的研究與審定，“銀河-Ⅰ”獲1984年中央軍委國防科技成果特等獎。1987年起主持面向對象集成化開發環境研製，建造了國內首例面向對象環境；1989年起領導並主持非單調推理系統研究，把PROLOG從單調發展到非單調。這兩項目分別獲1991年、1993年國防科工委科技進步獎一等獎。領導完成的英漢機器翻譯系統，達到國際先進水平。編（譯）著4部，發表論文60餘篇。

擔任職務

曾在北京大學數理邏輯專業、英國國家物理所進修。1970年調長沙工學院（後改名國防科技大學），歷任（電子）計算機系副教授、系副主任、教授、博士生導師、研究生院副院長。1990年被授予少將軍銜。1997年當選為中國工程院信息與電子工程學部院士。是武漢大學軟體工程國家重點實驗室學術委員會主任，國務院學位委員會計算機學科評議組成員，全國工科院校計算機專業教學指導委員會主任，國家“863計畫”信息領域第一屆專家委員會委員，中國軟體行業協會副主任委員。1997年當選為中國工程院院士。

所獲榮譽

陳火旺

1991年被授予國家有突出貢獻中青年專家稱號，同年獲光華科學基金一等獎。長期從事計算機軟體和人工智慧等方面的教學和研究。建立了有限函式空間上的能行運算和能行連續泛函理論；主持國內第一個符號彙編語言和宏指令產生器的設計與實現；主持中國第一個FORTRAN編譯程式的設計，獲1978年全國科學大會獎；參與領導中國第一台巨型計算機銀河I的研製，負責軟體系統總體設計，獲特等國防科技成果獎；主持國內最早的一個面向對象集成化軟體開發環境GWOSE的研製，獲國防科工委科技進步一等獎；領導自然語言處理的研究，研製成功英漢機器編譯系統MATRIX，獲全國優秀軟體二等獎；在人工智慧方面主持研製的非單調推理系統1993年獲國防科工委科技進步一等獎。陳火旺院士為我國計算機軟體與理論學科的建立和發展作出了貢獻，為國家、軍隊和學校人才培養、科學研究作出了貢獻。

個人著作

撰有《能行連續泛函》、《串列運算向量化》等論文、研究報告60餘篇；主編有《數理邏輯與控制論》、《程式設計語言編譯原理》、《程式設計方法學基礎》等。