专任教师

您目前的位置: 首页» 师资队伍» 专任教师» 教授

李晓娟


 
 李晓娟
 
 博士,教授
 
 首都师范大学信息工程学院
 北京市海淀区西三环北路56号,邮编: 100048
  
 电子邮件: lixj@cnu.edu.cn  
 电话: 68901370; 传真: 68416830
 
 
一、个人简介
李晓娟,博士,教授,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.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年度"百川杯"优秀研究生导师.