個人成就
* 國家有突出貢獻的中青年專家
* 江西省跨世紀主要學(xué)科學(xué)術(shù)和技術(shù)帶頭人培養(yǎng)對象
* 江西省高校"教學(xué)名師獎"獲得者
* 國務(wù)院特殊津貼享受者
薛錦云* 江西師范大學(xué)教授一類崗受聘者
* 博士生導(dǎo)師
人物生平
1947年出生，1970年畢業(yè)干南京大學(xué)數(shù)學(xué)系，85年12月-88年4月在美國Cornell大學(xué)計算機科學(xué)系進修訪問，95年6月-96年4月在美國Santa Clara大學(xué)作客座研究員, 92年破格晉升為教授并開始享受國務(wù)院特殊津貼，同年評定為江西省高校中青年學(xué)科帶頭人, 96年獲得國家級有突出貢獻中青年專家稱號, 97年批準為江西省計算機和信息領(lǐng)域首位跨世紀學(xué)術(shù)和技術(shù)帶頭人培養(yǎng)對象。2000年評聘為中科院軟件所博士生兼職導(dǎo)師。2003年榮獲省高校"教學(xué)名師獎"�，F(xiàn)任計算機信息工程學(xué)院院長、江西省高性能計算技術(shù)重點實驗室和江西省高校軟件科技中心主任、教育部教師教育信息化專家委員成員、中國計算機學(xué)會理事、中國人工智能學(xué)會理事。先后主持承擔國?quot;863"計劃、國家軍用共性軟件、國家重大基礎(chǔ)研究（973計劃）前期研究專項和國際合作項目各1項、國家自然科學(xué)基金項目5項、省部級項目10項，提出了循環(huán)不變式的新定義和新的開發(fā)策略、統(tǒng)一的算法設(shè)計方法、泛型算法設(shè)計語言Rad1、泛型抽象程序設(shè)計語言Ap1a。以這些新概念和新方法為基礎(chǔ)，研制成功支持軟件形式化和自動化開發(fā)的PAR方法和PAR平臺, 其前期研究成果曾獲95年江西省科技進步一等獎。在國際國內(nèi)著名學(xué)術(shù)刊物和學(xué)術(shù)會議發(fā)表論文90余篇，其中有20余篇被SCI和EI等三大檢索收錄。
研究方向
軟件形式化與自動化
主要研究領(lǐng)域：軟件形式化和軟件自動化，軟件復(fù)用和軟件容錯，并行分布式計算，智能教育軟件。
主持在研項目：國家自然科學(xué)基金高技術(shù)探索項目2個，江西省跨世紀學(xué)術(shù)和技術(shù)帶頭人項目1個。
