个人简历

教育背景
2011.10 - 2015.12 德国柏林洪堡大学，计算机科学学院
博士，形式化方法在轨道交通领域的应用方向
2009.09 - 2011.07 北京交通大学，电子信息工程学院
工学硕士，交通信息工程及控制专业
2004.09 - 2008.07 北京交通大学，电子信息工程学院
工学学士，自动化专业
工作经历
2019.1 至今 北京交通大学，轨道交通运行控制系统国家工程研究中心，副教授
2015.12 - 2018.12 北京交通大学，轨道交通运行控制系统国家工程研究中心，讲师
主要研究列车运行控制系统安全保障问题，第三方安全测试以及模型检验、运行时验证、基于模型的测试等形式化方法在轨道交通领域的应用。

研究领域

研究方向
轨道交通自动化与控制
控制工程（专业学位）"科研项目
基本科研业务费重大项目: 高速列车自主运行控制方法研究

近期论文

科研项目
基本科研业务费重大项目: 高速列车自主运行控制方法研究, 2020-2023
北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020
红果园省部级\