2006.09-2010.06 天津城建大学计算机科学与技术系 计算机专业 工学学士
　　2010.09-2011.09 天津大学软件学院 软件工程专业 工学硕士
　　2011.09-2012.09 日本北陆先端科学技术大学院大学信息科学学院 软件工程专业 工学硕士
　　2012.09-2015.09 日本北陆先端科学技术大学院大学信息科学学院 软件工程专业 工学博士

　　2015.11至今 BETVLCTOR伟德国际体育 讲师
　　2018.09-至今 BETVLCTOR伟德国际体育后勤保障部 副部长（挂职）

　　主讲本科生课程：算法设计与分析、大学信息技术基础、计算与安全技术导论

　　2018年开始指导研究生，实验室共有研究生4名，学生研究成果良好，获得的成绩主要有：CCF B 类会议论文1篇，软件著作权3个，横向项目1项。

　　软件工程、软件形式化方法、车载系统及智能系统

　　计算机、软件、计算机网络等

主持参与完成的项目：

国家自然科学青年科学基金项目1项(项目号61602224)

目前在研项目：

“互联网+”智能医疗健康系统研究及研发

发表SCI/EI论文13余篇，近5年主要的SCI/EI论文如下：

[1]autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications，Science China Information Sciences，v61，n5，p1–15，CCF B类期刊

[2]Verifying OSEK/VDX automotive applications: A Spin-based model checking approach，Software Testing Verification and Reliability，v 28, n 3, pe1662，CCF B类期刊

[3]Verifying Cooperative Software: a SMT-based Bounded Model Checking Approach for Deterministic Scheduler，Journal of Systems Architecture，v81，p7-16，CCF B类期刊

[4]An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property，International Conference on Software Engineering，p230-231，CCF A类国际会议

[5]Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems，Design, Automation & Test in Europe Conference & Exhibition，p594-597，CCF B类国际会议

1.2018年4月-2018年11月，担任全国形式化方法与应用会议(FMAC),宣传主席;

2.2017年5月-2017年7月，担任17th International Conference on Algorithms and Architectures for Parallel Processing程序委员会成员;

3.2016年10月-2017年9月，担任期刊Science China–Information Science评委成员;

4.2016年9月-2016年10月，担任第四届CCF Bigdata国际会议评委成员。