| |
|
| 陈火旺 |
|
 陈火旺 (1936.2.5－ ) 数理逻辑学家、计算机专家。福建安溪人。 1956年复旦大学数学系毕业，留校任教。曾在北京大学数理逻辑专业、英国国家物理所进修。1970年调长沙工学院（后改名国防科技大学），历任（电子）计算机系副教授、副系主任、教授、博士生导师、研究生院副院长，武汉大学软件工程国家重点实验室学术委员会主任。1990年被授予少将军衔。1997年当选为中国工程院信息与电子工程学部院士。是国务院学位委员会计算机学科评议组成员、全国工科院校计算机专业教学指导委员会主任、国家863计划信息领域第一届专家委员会委员、中国软件行业协会副主任委员。1991年被授予国家级有突出贡献中青年专家称号，同年获光华科学基金一等奖。长期从事计算机软件和人工智能等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论；主持国内第一个符号汇编语言和宏指令产生器的设计与实现；主持中国第一个Fortran编译程序的设计，获1978 年全国科学大会奖；参与领导中国第一台巨型计算机银河─Ⅰ的研制，负责软件系统总体设计，获国防科技成果特等奖；主持国内最早的一个面向对象集成化软件开发环境GWOOSE的研制，获国防科工委科技进步一等奖；领导自然语言处理的研究，研制成功英汉机器翻译系统MATRIX，获全国优秀软件二等奖；在人工智能方面主持研制的非单调推理系统GKD-NMRS 1993年获国防科工委科技进步一等奖等。主编有《数理逻辑与控制论》、《程序设计语言编译原理》（合作）、《程序设计方法学基础》（合作）等；撰有《能行连续泛函》、《串行运算向量化》等论文、研究报告60余篇。
|
|
|
|
|
