李曉娟

1999年博士研究生畢業後分配到中華人民共和國農業部信息中心網路處，任工程師、高級工程師；

2003-2007年，首都師範大學，信息工程學院，副教授；

2008年，美國明尼蘇達州大學，計算機系，合作教授；

2011年，加拿大CONCORDIA大學，電子工程系，訪問教授；

2008年-至今，首都師範大學，信息工程學院，教授。

研究方向：形式化驗證，網路協議分析。

徠研究領域：嵌入式系統形式化驗證與分析，模型檢驗技術，計算機網路。數據通信協議的可靠性分析與驗證。

在研項目：

北京市教委暨北京市自然科學基金重點項目：空間串列高速匯流排形式化驗證關鍵技術研究；

北京自然科學基金項目：空間匯流排通信系統形式化驗證方法研究；

國際科技合作研究計劃：系統形式化驗證及性能分析關鍵技術。

科研成果：

2008年入選北京市學術創新團隊；近年來主持參加國家級、北京市、國際科技合作項目5項，在國內外核心期刊及重要國際會議發表學術論文40餘篇，其中EI檢索25篇，SCI檢索1篇，獲得授權國家發明專利兩項，北京市科學技術進步二等獎一項。

2011年度"百川杯"優秀研究生導師；

2008年度信工學院、優秀本科生指導教師；

2007年度北京市高校教師多媒體課件大賽三等獎。

(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