•1997-2007，本硕博就读于北航计算机学院，方向为计算机软件理论，博士阶段主要研究形式化语言与建模理论、Petri网应用。

•2007至今，主持和参与多项国家自然基金和大型横向课题，有丰富的科研经验，在国内和国际知名期刊和会议发表高水平论文二十余篇。