江建国,学习经历教育背景： 1.2007.9—2008.3,加州大学圣地亚戈分校(UCSD),访问留学. 2.2003.9—2006.7,中国科学院研究生院成都计算机应用研究所,计算机软件与理论专业,工学博士。导师:张景中院士. 3.1993.9—1996.7,辽宁师范大学数学系,学科教学论(数学)专业,教育学硕士.导师:贺贤孝教授. 4.1989.9—1993.7,牡丹江师范学院数学系,数学(师范)专业,理学学士. 工作经历1.2000.8—今,辽宁师范大学数学学院,信息与计算科学系,教师. 2.1996.8—2000.7,四通集团大连分公司,计算机事业部,网络工程师.

教学工作：

本科生课程:计算机基础、C语言、数据库原理、面向对象分析与设计

研究生课程:计算机理论与实践、自动推理、人工智能、计算复杂性理论

1．自动推理(AutomatedReasoning):主要研究几何定理机器证明的人工智能法(AI)和自动演绎中的Tableau法. 2．智能教育(IntelligentEducation):目前主要感兴趣的是Web上得动态几何、智能几何与智能在线题库. 3．计算复杂性(ComputationalComplexity):目前还处于探索阶段.

1.JiangJian-Guo,ZhangJing-Zhong.Areviewandprospectofreadablemachineproofsingeometry(JSC,toappear). 2.江建国,张景中,王晓京.多项式等式型几何定理的可读证明.计算机学报,2008,31(2):207-213. 3.江建国,张景中.基于等价类推理的几何自动推理网.模式识别与人工智能,2006,19(5):617-622. 4.江建国,张景中.基于Rete算法的几何自动推理系统.四川大学学报(工程科学版),2006,38(3):135-139.