北航计算机学院教授、博士生导师，北航研究生院副院长。北京航空航天大学学位评定委员会秘书长，中国学位与研究生教育学会评估工作委员会委员，全国多媒体技术标準化技术分委员会委员会，中国图象图形学会理事。先后在重庆大学、西安交通大学和北航计算机专业获学士、硕士和博士学位，作为高级访问学者2002年赴美国University of Washington进行合作研究。

主讲人工智慧和套用逻辑学两门研究生学位课。

作为负责人已完成武器装备预研、武器装备型号、863计画、国家自然科学基金等课题30余项；已发表学术论文八十余篇，计算机图像处理、机器学习和自动推理技术研究方向的学术带头人。担任中国计算机学会信息存储专委会副主任委员。他主持参加了多项国家自然科学基金和863高技术科研课题，在国内外重要杂誌发表论文二十余篇。

获部级科技进步奖6次，二等奖一项，三等奖两项，有发明专利10项，获第五届中国国际发明展览会(2004年)金奖。1996年评为“北京市青年学科带头人”，1998年入选“北京市科技新星培养计画”， 1999年获“中创软体人才奖”，2000年评为“教育部优秀青年教师”，2002年获“霍英东青年教师基金奖”(研究类)，2004年入选教育部“新世纪优秀人才支持计画”，2005年入选国防科技工业“511人才工程”。