男，副教授。1994年毕业于名古屋大学工学院信息情报学科，获博士学位。1984年至1987年于北京师范大学数学系任助教和讲师；1994年至1997年于名古屋大学信息情报学科任助理教授；1997年至1999年于北京师范大学数学系和信息科学学院任讲师；1999年至今于北京师范大学信息科学学院任副教授。目前担任的主要职务：计算机科学与技术系主任，北师大重点实验室《计算机软件》实验室主任和北师大ACM竞赛总领队。研究兴趣：重写型计算模型，形式化自动证明，计算机逻辑，计算机课程一体化教学，本科计算机教学辅助软件开发设计。讲授的本科专业基础课：数据结构，形式语言与自动机理论，编译原理，高级程序设计基础。实践性教学：ACM竞赛与算法艺术。研究生专业课：重写计算。主持多项自然科学基金和其他科研项目，发表论文9篇，编写和翻译教材4部。