2026-08-06 23:05 来源:福建炎黄纵横 作者:闽台文化大辞典

  陈火旺 (1936-2008)计算机软件专家。福建安溪人。1956年毕业于复旦大学数学系,毕业后留校任教,期间曾在北京大学数理逻辑专业、英国皇家物理所进修。1970年调入长沙工学院(今国防科技大学),历任计算机系副教授、系副主任、教授、博士生导师、研究生院副院长。1987年6月-1991年8月任“863”信息领域第一届专家委员会委员。1988年7月起任武汉大学国家重点实验室学术委员会主任。1990年被授予少将军衔。1997年当选为中国工程院院士。曾任国务院学位委员会计算机学科评议组成员,全国工科院校计算机专业教学指导委员会主任,中国软件行业协会副主任委员。长期从事计算机软件和人工智能等方面的教学和研究,在国内率先实现计算机符号宏汇编器。70年代初主持全国Fortran编译程序会战,设计成功我国第一个Fortran编译系统,获1978年全国科学大会奖。1979-1983年任银河-I巨型计算机软件总负责人,负责软件系统的总体设计,直接主持向量语言的设计、编译方案的制定和向量识别算法的研究与审定,“银河-Ⅰ”获1984年中央军委国防科技成果特等奖。1987年起主持面向对象集成化开发环境研制,建造了国内首例面向对象环境;1989年起领导并主持非单调推理系统研究,把PROLOG从单调发展到非单调。这两项目分别获1991年、1993年国防科工委科技进步奖一等奖。领导完成的英汉机器翻译系统,达到国际先进水平。编(译)著《数理逻辑与控制论》《程序设计语言编译原理》《程序设计方法学基础》等四部,发表《能行连续泛函》《串行运算向量化》等论文、研究报告80余篇。其中《编译原理》一书获国家级优秀教材奖。1991年被授予“国家有突出贡献中青年专家”称号,同年获光华科学基金一等奖。1998年获何梁何利基金科学与进步奖。