李曉娟，女，博士，現為首都師範大學信息工程學院教授。
基本介紹
- 中文名：李曉娟
- 畢業院校：中國農業大學
- 學位/學歷：博士
- 專業方向：工學
人物經歷,研究方向,科研項目,發表論文,獲獎記錄,
人物經歷
1999年7月畢業於中國農業大學機械電子工程系，獲工學博士學位。
1999年博士研究生畢業後分配到中華人民共和國農業部信息中心網路處，任工程師、高級工程師；
2003-2007年 首都師範大學 信息工程學院 副教授；
2008年 美國明尼蘇達州大學，計算機系 合作教授；
2011年 加拿大CONCORDIA大學，電子工程系，訪問教授；
2008年-至今 首都師範大學 信息工程學院 教授。
研究方向
嵌入式系統形式化建摸與驗證，數據通信協定的可靠性分析與驗證。
科研項目
1、國家自然科學基金面上項目“空間通信片上網路數字系統形式化驗證與可靠性分析”， 2014.1~2017.12.（主持）
2、國際科技合作研究計畫“系統形式化驗證及性能分析關鍵技術”，2012.1~2015.12.（參加）
發表論文
(1) Wei Hua , Xiaojuan Li, Yong Guan, Zhiping Shi, Jie Zhang, Lingling Dong. On the Model Checking of the SpaceWire Link Interface.《TELKOMNIKA》 vol.2 2013 p740-746
(2) Probabilistic Analysis Of The SpaceWire Communication Process, International Spacewire Conference 2013, 10 - 14 June, Gothenburg,Sweden (受邀大會專題報告).
(3) 高雅,李曉娟,關永,王瑞,張傑,魏洪興, 運用定理證明器ACL2驗證機器人作業系統ROS節點間通信，小型微型計算機系統,2014，35（9）：2126-2130.
(4) 李月星，李曉娟，關永，王瑞，張傑，魏洪興 SpaceWire協定的形式化建模與機率分析, 《小型微型計算機系統》, 34（3）,2013,p2025-2030
(5) Wei Hua1 , Xiaojuan Li1, Yong Guan1, ZhipingShi,Lingling Dong, Formal Verification for SpaceWire CommunicationProtocol Based on Environment State Machine.WICOM2012 Sept.21-24,2012, Sh
(6) RuiWang, Yong Guan, Luo Liming, Xiaojuan Li, Jie Zhang, Hongxing Wei. Component-Based Formal Modeling of PLC Systems. Journal of Applied Mathematics. Vol.(2013), Article ID 721624
獲獎記錄
2007年度北京市高校教師多媒體課件大賽三等獎, 2008年度首都師範大學信工學院優秀本科生指導教師；2008年入選北京市學術創新團隊， 2011年北京市科學技術二等獎， 2011年度"百川杯"優秀研究生導師。
