首页Resume发表论文GraduateProjectTeachingToolsResourceBase

Resume
副教授:刘晓建

 

 

●  2013年1月—至今 西安科技大学计算机学院软件工程系,副教授。

●  2006年7月—2012年12月 山东科学院自动化研究所副研究员,山东省汽车电子重点实验室副主任。

●  2004年9月—2006年6月 西北工业大学计算机科学与技术博士后流动站,博士后研究员。

●  2005年1月—2005年10月 国际软件技术研究所(http://www.iist.unu.edu),fellow。

●  2000年2月—2004年6月 西安电子科技大学软件工程研究所,博士研究生。

●  1997年7月—1999年12月 西安大唐电信有限公司,研发员,项目经理。

●  1994年9月—1997年6月 南京大学数学系,计算数学专业,硕士研究生。

●  1990年9月—1994年6月 南京大学大气科学系,本科。

 
  照片墙  

  学术简介  

研究领域

●  软件形式化方法。

●  嵌入式软件系统。

●  软件可靠性。 

学术成果

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

●  2004年起发表第一作者论文20篇、第二作者5篇。

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

 

 

西安科技大学  计算机学院版权所有

计算机学院 |  软件工程 |  XHTML |  CSS