薛锦云,毕业于
南京大学数学系,曾在1985年至1988年间赴美国
康奈尔大学计算机系David Gries教授团队深造,并在1995年至1996年担任美国Santa Clara大学的客座研究员。他在2000年和2009年分别被
中国科学院软件研究所和
武汉大学评为博士生导师。目前,薛锦云担任国家网络化支撑软件国际科技合作基地和
江西省高性能计算重点实验室的主任。此外,薛锦云还担任多个学术组织的重要职务,如全国理论计算机科学专委会副主任和
中国服务贸易协会专家委员会副理事长。他是国家杰出青年基金、国家创新团队、国家重点实验室和国家自然科学基金重点项目评审专家和评审组组长。
薛锦云主持并完成了多项科研项目,其中包括国家“863”计划、国家军用共性软件重点项目、国家重大基础研究(973计划)前期研究专项、国家自然科学基金面上项目和国际合作项目共计16项。在他的带领下,
江西省首次成功申请到了国家自然科学基金的重大重点项目。薛锦云及其团队研发了支持软件形式化和自动化开发的PAR方法和PAR平台,这些成果不仅获得了江西省科技进步
一等奖,而且得到了科技部项目验收专家组的高度评价,认为其技术达到了国际先进水平,其中一些关键领域甚至处于国际领先地位。
薛锦云的研究兴趣广泛,涵盖了软件形式化和自动化、模型驱动的
软件工程、云计算、服务计算以及
大数据处理建模等多个领域。