研招网 > 吉林研招网 > 吉林大学 > 导师介绍

吉林大学博士研究生导师介绍:刘叙华

姓  名:
刘叙华
性别:
出生年月:
1937-0-0
工作单位:
吉林大学
所在院系:
计算机科学与技术学院
职称:
教授
行政职务:
 
招生专业:
081202计算机软件与理论
研究领域:
定理机器证明和自动推理研究工作
是否兼职:
指导博士生总数:
 
指导硕士生总数:
 
目前博士生数:
 
目前硕士生数:
 
 
  个人简介

  刘叙华,教授,博士生导师。1937年生,黑龙江哈尔滨人。1961年吉林大学数学系毕业,留校任教。1985~1986年在美国依利诺大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室(吉林大学)主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、中国系统工程学会模糊数学学会常务理事、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、吉林省计算机学会理事长。主要从事定理机器证明和自动推理研究工作。

 
  获得奖项
  获国家教委优秀科技成果奖1次;获国家教委科技进步二等奖2次;获吉林省优秀图书二等奖1次,获吉林省优秀教学成果二等奖1次、三等奖1次。
 
  著作及论文
  发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。
考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭