教育背景 2002，5-2004，5 北京航空航天大学软件开发环境国家重点实验室博士后流动站 1998，9-2002，4 西北工业大学软件与理论博士 工作简历 曾参与国家重大基础项目973（G1999032701） “海量信息系统组织和处理的理论与方法研究” 曾参与国家重大基础项目973（2005CB321902） “海量的协同性和可生存性的理论与实践研究” 曾参与国家自然基金（60403003）“基于相变现象的算法设计与难解实例构造研究” 曾参与国家自然基金（70440002）“国家重点实验室国际竞争力的理论和实证研究” 曾参与国家教委博士点基金 “人工智能基础理论研究” 曾主持理学院创新基金 “需求规约演化的理论基础研究” 主持863项目子课题（2010AA7020515）"时间序列数据挖掘研究"，时间：2010-2015年

曾任北京航空航天大学科学与技术协会理事

Graphical Calculus for Quantum Key Distribution，Electr. Notes Theor. Comput. Sci270(2):231-249(2011)