人物简介
陈火旺（1936年生），国防科技大学人工智能与软件工程专家，人工智能、软件工程、程序验证领域专家。开发通用符号推理环境;主持银河机软件系统;程序验证与形式化方法曾获计算机科学与技术研究等荣誉。
主要成就
开发通用符号推理环境;主持银河机软件系统;程序验证与形式化方法
详细介绍
人物简介
陈火旺，1936年出生，2008年2月2日逝世，人工智能与软件工程专家，主要从事人工智能、软件工程、程序验证领域的研究工作，任职于国防科技大学，担任教授。
教育背景
陈火旺的教育经历：复旦大学毕业。
主要成就
开发通用符号推理环境;主持银河机软件系统;程序验证与形式化方法
荣誉表彰
主要荣誉包括：2021年当选中国工程院院士(2004);国家科技进步奖一等奖、2009年计算机科学与技术研究（二等奖）。
基本信息
所属机构
中国科学院计算技术研究所
职务
教授
学历背景
复旦大学毕业
出生日期
1936年2月5日
逝世日期
2008年2月2日
国籍
中国
研究领域
人工智能、软件工程
学科数据洞察
1371+
同领域专家
7+
女性学者
81岁
领域平均年龄
859+
获奖人数
*以上数据由科技人编辑部基于公开数据库统计，旨在为研究者提供学科视角的参考信息。
荣誉称号
1997年当选中国工程院院士
获奖记录
知识图谱
加载中...
相关人物
于维汉
中国工程院院士（1997年当选）
王自力
中国工程院院士 · 可靠性系统工程专家
周永茂
中国工程院院士 · 地球探测与信息技术专家
谭铁牛
中国科学院院士
欧阳晓平
中国工程院院士
致敬留言