教育经历
1994 北京航空航天大学 博士
1983 福州大学 博士
1983 福州大学 博士
工作经历
1998- 北京大学数学科学学院 教授
1994-1997 汕头大学计算机科学系 教授
1990-1993 汕头大学计算机科学系 副教授
1994-1997 汕头大学计算机科学系 教授
1990-1993 汕头大学计算机科学系 副教授
科研项目
国家863计划
国家973计划
国家杰出青年科学基金
国家自然科学基金
国家973计划
国家杰出青年科学基金
国家自然科学基金
主讲课程
春季 人工智能 研究生/本科生
全年 智能软件 研究生
秋季 数理逻辑 本科生
指导研究生
全年 智能软件 研究生
秋季 数理逻辑 本科生
指导研究生
指导研究生
张鹏浩(13博),陈翰轩(14博),宋杰虎(16博),胡兰(17硕),张天赐(17硕)