---

李晓娟
博士，教授
首都师范大学信息工程学院
北京市海淀区西三环北路56号，邮编: 100048

电子邮件: lixj@cnu.edu.cn
电话: **; 传真: **



一、个人简介
李晓娟，博士，教授，1999年7月毕业于中国农业大学机械电子工程系，获工学博士学位。1999年8月-2003年3月在中华人民共和国农业部信息中心网络处工作，任工程师、高级工程师，2003年4月至今在首都师范大学信息工程学院工作，任副教授、教授。近年来在国、内外核心期刊及一些重要的国际会议上发表学术论文40余篇，申请获得专利2项。目前主持国家自然科学基金1项，参与多项国家级和省部级研究项目。中国计算机学会、IEEE 及ACM会员。
　　研究方向：嵌入式系统形式化建摸与验证，数据通信协议的可靠性分析与验证。
二、主讲课程：
《计算机网络原理》 ,《高级计算机网络》(研究生)
三、在研项目：
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.WICOM2012Sept.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年度"百川杯"优秀研究生导师.