教育背景:
博士后 |
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