个人简介

讲授课程： 单片机原理与控制技术 局域网技术与组网工程实验（课程链接） 单片机控制与应用实验 传感器与控制实验 数据库应用技术 教育经历： 2001.9-2005.7，吉林大学计算机学院，计算机科学与技术专业，本科。 2005.9-2018.7，吉林大学计算机学院，计算机系统结构专业，硕士研究生。 2008.9-2012.12，吉林大学计算机学院，计算机系统结构专业，博士研究生。 2011.10-2012.10，美国西弗吉尼亚大学，计算机科学与电子工程系，国家公派联合培养博士研究生。 工作经历： 2012.12-现在，吉林大学计算机科学与技术学院，讲师。 科研项目： 完成和在研科研项目 1. 国家自然科学基金面上项目”基于规约语言的领域软件形式化程度度量方法研究”(项目号: 61472160), 2015.01-2017.12, 参加人, 在研. 2. 国家科技支撑计划项目”电力行业电子商务服务技术研究开发与应用”(项目号: 2014BAH29F03), 2014.01-2016.12, 参加人, 在研. 3. 吉林大学青年教师创新项目”基于本体的Web服务自描述模型研究”(项目号:v450060501285), 2013.01-2014.12, 负责人, 结题. 4. 吉林省科技发展计划项目: 计算机I/O端口安全综合监测系统(20125020), 吉林省科学技术厅, 2012.07-2014.12, 主要参加人, 结题. 5. 公派留学期间参与国际合作项目: Knowledge advantage Machine (KaM), 2011-现在, 主要参加人, 在研. 6. 科技部863重大项目子课题: 基于Trustie技术平台的电力生产管理系统高可信软件开发环境的研制及示范工程(2009AA010314), 2009-2011, 参加人, 结题. 获奖情况： 专利和获奖情况 1. 2013年获中国发明专利授权1项,专利名称:语义Web服务本体及其应用(专利号: ZL201010136558.4), 发明人: 刘淑芬,曲明 2. 吉林省技术发明奖二等奖”软件系统建模、验证及支撑平台关键技术及应用”, 2014.11, 排名第六