个人简介

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