个人简介
教育背景
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)
京公网安备 11010802027423号