中国科学院计算技术研究所工学博士，信息学院计算机应用教研室教师。主要从事人工智能及计算机科学中的逻辑研究。目前正在参与的项目包括国家自然基金“基于本体的谓词模态逻辑研究”和“基于知识的多角色群体行为和情绪模型研究”两项。2006年，作为主要参与者，已完成国家自然科学基金“本体的构建理论和推理实现”一项，顺利结题。共发表了学术论文10多篇。其中，SCI收录5篇，ISTP收录5篇，核心期刊6篇。