个人简历

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

研究领域

""

近期论文

Graphical Calculus for Quantum Key Distribution，Electr. Notes Theor. Comput. Sci270(2):231-249(2011)
曾任北京航空航天大学科学与技术协会理事