陈火炎

---

【介绍】：

教授。

男，1945年9月出生，福建安溪人。暨南大学计算机科学系教师。毕业于暨南大学。

主要贡献及著述：开设新课程《逻辑程序设计和知识信息处理》，编写了约20万字的教材《逻辑程序和知识处理系统》。

多次出国进修并参加技术合作。在科研工作中也取得可喜成果，曾先后参加美国宇航局和香港政府资助的较大型研究项目。

1987年以来，独立完成及与人合撰了中英文学术论文《分析逻辑程序的一种有效工具——推导格式》等11篇，发表于美国国家技术信息中心出版的《智能系统方法第二次国际学术会议论文集》、香港大学出版的《IEEE计算机科学：人工智能理论和应用1988国际学术会议论文集》等国内外书刊上。还获得过2个省级科研成果奖和3项科学基金。