李晓娟的教育科研

1. 李晓娟的教育科研

　　研究方向：形式化验证 网络协议分析　　研究领域:嵌入式系统形式化验证与分析，模型检验技术，计算机网络　　在研项目：　　北京市教委暨北京市自然科学基金重点项目: 空间串行高速总线形式化验证关键技术研究　　北京自然科学基金项目：空间总线通信系统形式化验证方法研究　　国际科技合作研究计划：系统形式化验证及性能分析关键技术　　科研成果：　　2008年入选北京市学术创新团队; 近年来主持参加国家级、北京市、国际科技合作项目5项，在国内外核心期刊及重要国际会议发表学术论文40余篇，其中EI检索25篇，SCI 检索1篇, 获得授权国家发明专利两项，北京市科学技术进步二等奖一项。　　获奖荣誉：　　2011年度百川杯优秀研究生导师　　2008年度信工学院 优秀本科生指导教师　　2007年度北京市高校教师多媒体课件大赛三等奖

2. 李丽娟的教育背景

1987年7月毕业于西安交通大学应用力学专业，获工学学士学位；1990年3月毕业于西安交通大学结构力学专业，获工学硕士学位；1992年11月毕业于西安建筑科技大学结构工程专业，获工学博士学位；

3. 李娟的教学工作

主要承担预防医学和放射医学专业《卫生化学》、《放射化学》以及《实验室管理学》教学工作。参编教育部规划教材及教学参考书3部。主持或参加吉林省教委和吉林大学教学改革课题6项，获教学成果奖2项。