刘晓建 副教授

 

	姓名：刘晓建
	职称：副教授
	邮箱：780209965@qq.com
	专业：软件工程   研究方向 ：http://ansafe.xust.edu.cn

 

教育背景：

博士后	2004年6月~2007年6月	西北工业大学	计算机科学与技术流动站
博士研究生	2000年2月~2004年6月	西安电子科技大学	计算机应用技术
硕士研究生	1994年9月~1997年7月	南京大学	计算数学
大学本科	1990年9月~1994年7月	南京大学	计算数学

 

工作履历：

起止时间	工作单位	从事何种专业技术工作	职称/职务
1997.7-2000.1	西安大唐电信有限公司	软件工程	部门经理
2005.1~2005.10	国际软件技术研究所（UNU/IIST）（澳门）	对象及构件形式化方法	Fellow
2007.8-2013.1	山东省科学院自动化研究所	软件工程	副研究员/山东省汽车电子重点实验室副主任
2013．2-目前	西安科技大学威廉体育【中国】有限公司	软件工程	副教授

 

学术兼职：

《山东科学》编委，

中国计算机学会会员，

山东省科技厅专家库专家，

福建省科技厅专家库专家，

山东省汽车学会专家委员会专家，

第一届ARTIST2CHINA国际嵌入式软件理论、建模和方法高级研讨班组委会主席

GCSE国际会议PC member

 

研究领域：

软件形式化方法，嵌入式软件系统，软件可靠性

 

研究概况：

从2004年起，一直开展软件工程技术的理论研究和实际开发。2004年~2007年，主要围绕对象和构件化软件，开展形式化建模和分析工作。与国际软件技术研究所有关人员合作，采用图方法来描述对象的精化，在国际刊物上发表论文2篇；2007年~2012年，围绕汽车电子软件系统，开展复杂嵌入式软件架构建模、测试和可靠性分析方面的工作，发表各类论文10余篇，主持和参与各类项目10余个；2013年~至今，围绕软件可靠性，开展软件缺陷和失效相关工作。

 

讲授课程：

先后讲授了：《网络化嵌入式软件开发概论》、《数据库与管理信息系统》、《数据库及应用（VFP）》、《数据库及应用》、《操作系统》、《移动程序开发》

 

奖励与荣誉：

2011年

山东省科技进步奖(三等)

基于CAN/LIN总线的汽车ECU研发及产业化

山东省人民政府

 

学术成果：

获得1项实用新型专利、5项软件著作权。

2004年起发表第一作者论文20篇、第二作者论文5篇，其中SCI检索2篇，EI检索12篇。2006年以来，支持各类项目7项，参与4项。

‍

研究方向：http://ansafe.xust.edu.cn