学校官网 设为华体会电竞| 加为收藏
硕士生导师 当前位置: 华体会电竞 > 研究生教育 > 硕士生导师 > 正文

刘晓建 副教授

发布日期:2018-06-22 浏览数:


 

姓名:刘晓建

职称:副教授

邮箱:780209965@qq.com

专业:软件工程

 

研究方向

http://ansafe.xust.edu.cn

 

教育背景:

博士后

20046~20076

西北工业大学

计算机科学与技术流动站

博士研究生

20002~20046

西安电子科技大学

计算机应用技术

硕士研究生

19949~19977

南京大学

计算数学

大学本科

19909~19947

南京大学

计算数学

 

工作履历:

起止时间

工作单位

从事何种专业技术工作

职称/

1997.7-2000.1

西安大唐电信有限公司

软件工程

部门经理

2005.1~2005.10

国际软件技术研究所(UNU/IIST)(澳门)

对象及构件形式化方法

Fellow

2007.8-2013.1

山东省科学院自动化研究所

软件工程

副研究员/山东省汽车电子重点实验室副主任

20132-目前

西安科技大学华体会电竞

软件工程

副教授

 

学术兼职:

《山东科学》编委,

中国计算机学会会员,

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

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

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

第一届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