成员

    blob.png

Name薛锦云
Professional Title教授、基地(实验室、中心)主任
           
Research Fields软件形式化和自动化,模型驱动的软件工程,云计算,服务计算和大数据处理建模等
E-mailjinyun@vip.sina.com
Projects

主持的国家级项目:


1、若干软件新技术及其在PAR平台中的实验研究,国家自然科学基金重大国际合作研究项目,2010-2014年,项目经费250万元

2、新概念循环不变式及其自动探测技术研究,国家自然科学基金面上项目,2014-2017年,项目经费82万元

3、高可靠软件建模语言及模型自动转换方法研究,国家自然科学基金面上项目,2012-2015年,项目经费70万元

4、新型高可靠软件开发平台及其相关理论研究,科技部国际科技合作项目,2008-2011年,项目经费89万元

5、基于PAR平台的信息系统应用软件若干共性关键技术研究,国家自然科学基金面上项目,2008-2010年,项目经费27万元

6、基于PAR方法和PAR平台的泛型程序设计关键技术研究,国家自然科学基金面上项目,2006-2008年,项目经费24万元

7、形式化方法制导的软件自动化研究,科技部973前期研究专项,2004-2007年,项目经费45万元

8、基于PAR方法的算法设计形式化和自动化研究,国家自然科学基金面上项目,2003-2005年,项目经费22万元

9、分划递推法应用于高可靠Java程序开发方法研究,国家自然科学基金面上项目,2000-2002年,项目经费13万元

10、实用的软件形式化方法及其开发工具研究,国家自然科学基金面上项目,1998-2000年,项目经费12万元

11、具有容错功能的ADA可重用部件库,国家科工委预研重点项目,1991-1997年,项目经费20万元

12、若干新的算法程序设计和证明方法研究,国家自然科学基金主任基金项目,1994-1996年,项目经费5万元

13、探索一种系统的算法程序设计和证明方法,国家863项目,1994-1996年,项目经费5万元

14、部分实现理论及其在软件形式化推导和证明中的应用研究,国家自然科学基金面上项目,1990-1992年,项目经费3万元

Personal profile

薛锦云,南京大学数学系毕业, 85-88年在美国康奈尔大学计算机系David Gries教授团队研修,95-96年在美国Santa Clara大学做客座研究员,于2000年和2009年分别被中科院软件所和武汉大学评聘为博士生导师。现任国家网络化支撑软件国际科技合作基地和江西省高性能计算重点实验室主任。他曾获“国家级有突出贡献中青年专家”称号,是享受国务院特殊贡献津贴专家,江西省“赣鄱英才555工程”领军人才和省级教学名师,全国理论计算机科学专委会副主任和中国服务贸易协会专家委员会副理事长。薛锦云还是国家杰出青年基金,国家创新团队,国家重点实验室和国家自然科学基金重点项目会评专家和会评专家组负责人。

 

荣誉

国家有突出贡献的中青年专家

国务院特殊津贴享受者

江西省“赣鄱英才555工程”领军人才人选

江西省教学名师

 

科研成果

他先后主持承担国家“863”计划、国家军用共性软件重点项目、国家重大基础研究(973计划)前期研究专项、国家自然科学基金面上项目和国际合作项目16项。承担的国家自然科学基金重大()国际合作研究项目实现了江西省国家自然科学基金重大重点项目零的突破。研制成功支持软件形式化和自动化开发的PAR方法和PAR平台(便捷算法程序设计方法及支撑平台,便捷模型驱动软件开发平台),其前期研究成果曾获江西省科技进步一等奖; 后期研究成果被科技部项目验收专家组评定为总体上“具有国际先进水平”,若干关键技术“具有国际领先水平”。