江西省高性能計算技術重點實驗室

江西省高性能計算重點實驗室是由江西師範大學和中國科學院計算技術研究所和共建的省級重點實驗室。該實驗室由江西省科技廳批准成立並正式向國內外開放運行。實驗室主任由國家級有突出貢獻的中青年專家、中科院軟件所和武漢大學兼職博士生導師專家薛錦雲教授擔任。實驗室學術委員會主任是中科院院士陸汝鈐研究員。江西省高校軟件科技中心是經江西省教育廳於2002年批准成立的研究開發機構。目前這兩個研究機構，兩塊牌子，一班人馬，合署辦公，是江西師範大學直屬的正處級單位，也是江西省計算機軟件與理論專業示範性碩士點和省級重點學科的依託單位。本實驗室(中心)在江西師大瑤湖校區和青山湖校區均有實驗、研發和業務辦公場所,以瑤湖校區為主。主要從事軟件形式化和自動化、並行分佈式計算、面向服務計算、高可信軟件和網絡軟件等學科方向的研究。

先後主持承擔國家“863”計劃、國家軍用共性軟件、國家重大基礎研究（973計劃）前期研究專項、國家自然科學基金面上項目和國際合作項目13項、省部級項目20餘項,其中國家自然科學基金面上項目取得七報七中的佳績，國家自然科學基金重大國際合作研究項目是江西省首次獲得。

研製成功支持軟件形式化和自動化開發的PAR方法和PAR平台,其前期研究成果曾獲江西省科技進步一等獎。實踐證明，用PAR方法提供的語言、變換規則和系列算法和程序自動生成工具開發軟件, 具有原理簡單，使用方便，通用性強，可靠性高等特點，可以大幅度提高複雜算法程序和軟件開發的生產效率。

江西省高性能計算重點實驗室和省高校軟件科學技術中心也是中科院軟件所和武漢大學博士生培養點。實驗室(中心)主任薛錦雲教授2000年被中科院軟件所評聘為博士生導師，2009年又被武漢大學評聘為博士生導師，已經在中科院軟件所和武漢大學招收培養博士研究生l4名。

與英國萊斯特大學合作培養計算機科學碩士學位教育項目已經獲得中國教育部的批准（批准書編號：MOE36GB1A20111135N）。該項目採用“自主招生”錄取方式，學制兩年，面向全國普通高校成績優良的本、專科畢業生招生，對通過各項考核的學生頒發萊斯特大學“高級計算機科學理學碩士學位證書”，2011年夏季開始招生。本實驗室(中心)實行“開放、流動、聯合、競爭”的運行機制，將以國家自然科學基金重大國際合作研究項目和與萊斯特大學合作舉辦碩士學位教育項目的獲准和實施為契機，將實驗室建設成為國際化，有特色、高水平研究開發機構和高層次創新人才培養基地。