【人物简介】

刘晓建，男 学术兼职： 《山东科学》编委， 中国计算机学会会员， 山东省科技厅专家库专家， 福建省科技厅专家库专家， 山东省汽车学会专家委员会专家， 第一届ARTIST2CHINA 国际嵌入式软件理论、建模和方法高级研讨班组委会主席 GCSE 国际会议PC member

【研究方向】

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

【研究成果】

【科研项目】

2006年以来，支持各类项目7项，参与4项。

【论文著作】

从2004年起，一直开展软件工程技术的理论研究和实际开发。2004年~2007年，主要围绕对象和构件化软件，开展形式化建模和分析工作。与国际软件技术研究所有关人员合作，采用图方法来描述对象的精化，在国际刊物上发表论文2篇；2007年~2012年，围绕汽车电子软件系统，开展复杂嵌入式软件架构建模、测试和可靠性分析方面的工作，发表各类论文10余篇，2004年起发表第一作者论文20篇、第二作者论文5篇，其中SCI检索2篇，EI检索12篇。