| 词条 | 薛锦云 |
| 释义 | § 薛锦云的贡献 薛锦云 * 国家有突出贡献的中青年专家 * 江西省跨世纪主要学科学术和技术带头人培养对象 * 江西省高校"教学名师奖"获得者 *国务院特殊津贴享受者 * 江西师范大学教授一类岗受聘者 * 博士生导师 § 背景资料 85年12月-88年4月在美国Cornell大学计算机科学系进修访问，95年6月-96年4月在美国Santa Clara大学作客座研究员, 92年破格晋升为教授并开始享受国务院特殊津贴，同年评定为江西省高校中青年学科带头人, 96年获得国家级有突出贡献中青年专家称号, 97年批准为江西省计算机和信息领域首位跨世纪学术和技术带头人培养对象。2000年评聘为中科院软件所博士生兼职导师。2003年荣获省高校"教学名师奖"。现任计算机信息工程学院院长、江西省高性能计算技术重点实验室和江西省高校软件科技中心主任、教育部教师教育信息化专家委员成员、中国计算机学会理事、中国人工智能学会理事。先后主持承担“863”计划、国家军用共性软件、国家重大基础研究（973计划）前期研究专项和国际合作项目各1项、国家自然科学基金项目5项、省部级项目10项，提出了循环不变式的新定义和新的开发策略、统一的算法设计方法、泛型算法设计语言Rad1、泛型抽象程序设计语言Ap1a。以这些新概念和新方法为基础，研制成功支持软件形式化和自动化开发的PAR方法和PAR平台, 其前期研究成果曾获95年江西省科技进步一等奖。在国际国内著名学术刊物和学术会议发表论文90余篇，其中有20余篇被SCI和EI等三大检索收录。 § 主要研究方向及简介 软件形式化与自动化，智能教学软件 主要研究领域：软件形式化和软件自动化，软件复用和软件容错，并行分布式计算，智能教育软件。 主持在研项目：国家自然科学基金高技术探索项目2个，江西省跨世纪学术和技术带头人项目1个。 |
| 随便看 |
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。