陈火旺

  名人简历    【本页移动版】

陈火旺(1936 02.05 - 2008 02.02)福建省安溪县人。 中国工程院院士,国防科学技术大学计算机学院教授、博士生导师,于2008年2月2日因病医治无效,在长沙逝世,享年72岁。同名烈士1929年参加革命斗争,1930年春由工农赤卫队编入工农红军,时任红十二军某部战士。

国家院士陈火旺

个人履历

  陈火旺(1936 02.05 - 2008 02.02)福建省安溪县人。 中国工程院院士,国防科学技术大学计算机学院教授、博士生导师,于2008年2月2日因病医治无效,在长沙逝世,享年72岁。

人物生平

  1956年毕业于上海复旦大学数学系,同年加入中国共产党,留校任助教。曾在北京大学数理逻辑专业、英国国家物理所进修。1970年调长沙工学院(后改名国防科技大学),历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长。1990年被授予少将军衔。 1997年当选为中国工程院信息与电子工程学部院士。是武汉大学软件工程国家重点实验室学术委员会主任,国务院学位委员会计算机学科评议组成员,全国工科院校计算机专业教学指导委员会主任,国家“863计划”信息领域第一届专家委员会委员,中国软件行业协会副主任委员。

成就及荣誉

  1991年被授予国家有突出贡献中青年专家称号,同年获光华科学基金一等奖。长期从事计算机软件和人工智能等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论;主持国内第一个符号汇编语言和宏指令产生器的设计与实现;主持中国第一个FORTRAN编译程序的设计,获1978年全国科学大会奖;参与领导中国第一台巨型计算机银河I的研制,负责软件系统总体设计,获特等国防科技成果奖;主持国内最早的一个面向对象集成化软件开发环境GWOSE的研制,获国防科工委科技进步一等奖;领导自然语言处理的研究,研制成功英汉机器编译系统MATRIX,获全国优秀软件二等奖;在人工智能方面主持研制的非单 调推理系统1993年获国防科工委科技进步一等奖。撰有《能行连续泛函》、《串行运算向量化》等论文、研究报告60余篇;主编有《数理逻辑与控制论》、《程序设计语言编译原理》、《程序设计方法学基础》等。

  陈火旺院士为我国计算机软件与理论学科的建立和发展作出了贡献,为国家、军队和学校人才培养、科学研究作出了贡献。

陈火旺编译原理一书

  作为考研课程中最难的科目,编译原理的复习一直以来困扰着无数的计算机考研者,特别是本科期间没有认真学习这门课程或者专业外的人士。由sodme写作的这一系列文章将主要以陈火旺院士的编译原理教材为主线,对编译原理的复习重点和复习思路进行归纳和总结,以帮助大多数朋友尽快入门。由于绝大多数的本科编译教材,都是在围绕着原理性方面的知识进行介绍和展开!

TAGS: 烈士 院士 福建 汇编语言
推荐文章