1986年9月-1991年7月,清华大学,计算机科学与技术专业,学士毕业; 1991年9月-1997年7月,清华大学,计算机科学与技术专业,博士毕业; 1997年8月-2002年6月,国家智能计算机研究中心-摩托罗拉联合实验室,北京算通科技发展有限公司; 2002年7月- 中国科学院计算技术研究所