教授北京工业大学计算机学院
教师简介

    国家级教学名师,享受政府特殊津贴,国家精品课程“编译原理”、国家精品资源共享课“编译原理”(立项),以及计算机软件基础课国家级教学团队负责人, 主编的国家十一五规划教材《编译原理》(高等教育出版社)为北京市精品教材,主编的另一本国家十一五规划教材《形式语言与自动机理论(2)》(清华大学出版社)为国家2008年度普通高等教育精品教材。获国家教学成果二等奖2项,省部级教学、科研奖励十多项。曾获中国高校优秀青年学者、宝钢优秀教师、航天部优秀青年教师等荣誉称号。

主要学术兼职有中国工程教育认证协会(筹)第一届学术委员会委员、第一届结论审议委员会委员、计算机类专业认证分委员会成员、2013-2017教育部高校计算机类专业教学指导委员会副主任、计算机类国家级教学团队协作组发起人、全国高校计算机教育研究会理事长、中国计算机学会教育专委副主任、国家精品资源共享课程建设专家组成员。

主讲编译原理、形式语言与自动机理论、人工神经网络。

从事网络计算、操作系统、人工神经网络和计算机学科教育教学等研究,倡导科学办专业、科学施教,以及研究型教学;强调可持续发展能力、专业基本能力、理论结合实际能力、创新能力培养,主持《高等学校计算机科学与技术专业核心知识体系与课程》、《高等学校计算机科学与技术专业核心课程教学实施方案》和《高等学校计算机科学与技术专业人才专业能力构成与培养》的研制有专著《计算机科学与技术学科硕士研究生教育》,发表了大量教学研究论文,是《中国计算机科学与技术学科教程2002》、《高等学校计算机科学与技术专业发展战略研究报告暨专业规范》、《高等学校计算机科学与技术专业实践教学体系和规范》的主要作者之一,参加起草计算机科学与技术专业认证文件、计算机技术工程领域硕士研究生培养基本要求等。