2006年9月毕业于东北大学，获得工学博士学位。2008年8月博士后出站。2015年底作为引进人才来到必威betway西汉姆联工作。系国家自然科学基金委、北京市科学基金委的通讯评审专家；担任中国系统仿真学会会员，辽宁省人工智能学会会员；兼职国际期刊审稿人，重要国际会议的审稿人。先后主持国家自然科学基金、北京市教委、优秀人才及人才强教项目等项目；先后获北京市优秀教学成果奖、辽宁省科技进步奖、北京市计算机教学精彩交流一等奖、云南省高校教师教学大赛一等奖等奖项，荣获“北京市优秀青年知识分子”、云南省千人计划青年人才荣誉称号。

分数阶系统： 

时间序列分析与研究

(1) 北京市优秀青年知识分子称号 2011年

(2) 云南省高校教师教学大赛一等奖2018年

国家自然科学基金地区基金项目，基于高阶逻辑的分数阶PID控制器形式化分析与验证；

国家自然科学基金青年科学基金项目，基于高阶逻辑的分数阶建模与验证理论研究；

北京市委组织部优秀人才培养项目, 分数阶系统验证理论中非完备性研究 ；

北京市属高等学校人才强教深化计划——“中青年骨干人才培养计划”：课程评估分数阶建模方法研究；

北京市教委科技计划面上项目，基于分数阶的教学质量建模仿真及评估方法研究；

“西部计算机教育提升计划”Google人才引进励教金/科研培育项目

赵春娜,李英顺,陆涛. 《分数阶系统分析与设计》, 国防工业出版社, 2011

Chunna Zhao, Shanshan Li. Formalization of fractional order PD control systems in HOL4. Theoretical Computer Science, Vol.706: 22-34,2018.

Chunna Zhao,Likun Shi,Liming Luo,Yong Guan,Xiaojuan Li,Zhiping Shi. Formal Modeling and Verification of Fractional Order Linear Systems. ISA Transactions,Vol.62:87-93,2016.

李姗姗,赵春娜(*),关永,施智平,王瑞,李晓娟,叶世伟. 分数阶微积分定义的一致性在HOL4中的验证. 计算机科学, Vol.43(3):23-27,2016.  

Li Shanshan，Zhao Chunna(*)，Guan Yong，Shi Zhiping，Li Xiaojuan，Wang Rui，Research on the Higher-order Logic Formalization of Fractance Element，IEEE/CAA Journal of Automatica Sinica,Vol.13(9):248-256,2016.

Chunna Zhao. Research on Linear Fractional Town Traffic Flow Model Tactic. Transactions on Machine Learning and Artificial Intelligence, Vol.3(6):70-79,2015.

赵刚、赵春娜、关永、吕兴利、李晓娟、施智平、王瑞、叶世伟 ，拉普拉斯变换微积分性质在HOL4中的形式化, 小型微型计算机系统, Vol.9: 2177-2181,2014.

师丽坤、赵春娜、关永、施智平、李晓娟、叶世伟 ，实数二项式系数在HOL4中的形式化, 计算机科学, Vol.2: 15-18,2014.

赵春娜，骆力明，石长地，赵雨，李英顺。基于理想灰关联距离的课程评估方法，数学的实践与认识，2012年第42卷第2期，27-35.

chunna zhao, liming luo, and yu zhao. Fractional modeling approach with mittag-leffler functions for linear fractional-order system. 2012 5th International Conference on Intelligent Computation Technology and Automation, ICICTA 2012, p 386-389, 2012。

chunna zhao, liming luo, and yingshun li. Ecological environment evaluation method based on ideal correlation degree. Advances in Biomedical Engineering, 2012, Vol. 7 : 142-148.

chunna zhao, liming luo, yingshun li and yu zhao. Fractional Modeling and Simulation on Urban Expressway Traffic Flow. Journal of Nanoelectronics and Optoelectronics, 2012, Vol.7, n 2: 191-194.

Zhao chunna, zhao yu, tan xiaohui,li yingshun, luo liming. Course evaluation method based on analytic hierarchy process. Lecture Notes in Electrical Engineering, Future Communication, Computing, Control and Management. Vol. 142(2), p 275-283, 2012。

Zhao, Chunna; Luo, Liming; Li, Yingshun. Fractional Modeling Method Based on Mittag-Leffler Functions for Curriculum Appraisal. Journal of Computational & Theoretical Nanoscience, 2012, 11(1):610-613.

Chunna Zhao, Yu Zhao, Yingshun Li, Yi Liu and Liming Luo. Missile-target Information Acquisition of PRS in Confrontation Environment. Key Engineering Materials Journal, Vol. 476, 2011, pp 40-49.

Chunna Zhao, Changdi Shi, Yu Zhao and Yi Liu. Complex Angle Measuring Method of Passive-Radar-Seeker, Applied Mechanics and Materials, Vols. 55, 2011, pp 272-275.

Chunna zhao, yu zhao, Liming Luo, Yingshun li.Fractional Modeling Method Research on Education Evaluation, Journal of Software,Vol 6, No 5, 2011, pp 901-907.

薛定宇, 赵春娜. 基于框图的分数阶非线性系统仿真方法及应用.系统仿真学报, 第18卷第9期, 2405-2408, 2006。

薛定宇，赵春娜. 分数阶系统的分数阶PID控制器设计. 控制理论与应用, 第24卷第5期, 771-776, 2007。