實驗室英文名稱:state key laboratory for novel software technology at nanjing university
計算機軟體新技術國家重點實驗室(南京大學)(state key laboratory for novel software technology at nanjing university)是在南京大學計算機科學與技術系和計算機軟體研究所多年進行軟體研究的基礎上於1986年底通過專家論證,1987年開始籌建,1990年建成,並通過國家驗收,被批准向國內外開放。本實驗室在2007年信息科學領域國家和部門重點實驗室評估中被評為優秀實驗室。
實驗室概況
實驗室簡介
南京大學計算機軟體新技術國家重點實驗室是在南京大學計算機科學與技術系和計算機軟體研究所多年進行軟體研究的基礎上建立的,1986年底通過專家論證,1987年開始籌建,1990年建成,並通過國家驗收,向國內外開放。迄今,已經通過四次評估(1993、1997、2002、2007年),並在2007年進行的第四次評估中被評為信息科學領域優秀類國家重點實驗室。現任實驗室主任為呂建教授,現任重點實驗室學術委員會主任為中科院院士孫鍾秀教授。
計算機軟體技術與產業是信息技術與產業的靈魂。本實驗室以國家重大需求為導向,堅持“研究力求原創,技術取得突破,成果促進產業”的指導思想,立足於套用基礎研究,從軟體新方法和新技術的探索、軟體高新技術的研究與開發、以及關鍵軟體產品和套用的產業化促進三個層次開展軟體新技術的研究與套用工作。主要研究方向是:新型程式設計與軟體方法學、分布計算與並行處理、軟體質量保障與自動化技術、系統軟體及信息安全、以及智慧型化與多媒體軟體支撐技術;具體研究內容包括主體化與可信化的軟體方法學框架、機器學習與智慧型化軟體支撐技術、普適化的分散式計算與套用支撐技術、以及人本化的多媒體信息處理技術及其套用等;旨在以軟體方法學與機器學習為切入點,研製一套面向Internet的軟體方法與技術支撐體系。
實驗室建設以來,在軟體自動化技術和分散式與並行處理技術方面取得重要進展;近年來,主要在軟體方法學與新型中間件技術、軟體質量保障技術、機器學習技術、分散式處理技術和多媒體軟體技術方面取得了突出的成果(1)提出了一種基於Agent的網構軟體模型、方法與技術體系,研製了對象化與主體化的軟體協同技術與平台;(2)提出了一個高可信軟體的方法與技術體系,研製了支持高可信軟體的分析、測試、驗證工具集和和評估技術體系;(3)機器學習與自適應技術方面,重點圍繞“提高泛化能力”這個機器學習的根本問題進行研究,在多學習器集成、未標記樣本利用、複雜多義性對象表示與建模等方面取得重要進展,並在多模態信息利用技術、演化計算理論基礎等方面取得初步成果;(4)提出了一種普適化的分散式計算軟體支撐平台框架、方法與技術體系,研製了面向普適計算環境的資源管理與服務協同技術及平台。(5)提出了一個面向內容的計算機讀圖系統框架,研製了各類退化條件下的矢量化方法、複雜多關聯語義的層次式表示、通用可視媒體識別與理解模型、融合空間推理與形狀匹配的三維重建技術及相關性能評測體系。這些重要研究進展和成果受益於400餘項科研項目的資助,先後榮獲國家和省部級科技獎勵六十餘項,發表了一批高質量的論文,得到國際同行較高的評價和引用,獲得一批發明專利和軟體著作權,同時積極拓寬科技成果的套用與轉化渠道,促進了國家信息化建設,推動了軟體產業發展,取得了較好的經濟和社會效益。
本實驗室以團隊建設為主線,團結合作為內涵,強化培養為手段,建立起一支學術思想活躍、成員結構合理、基礎研究和技術創新能力強的學術梯隊。現有固定研究人員48人,其中中國科學院院士1人,國家有突出貢獻的中青年專家3人,長江學者特聘教授2人,國家傑出青年科學基金獲得者5人,教育部優秀青年教師獎獲得者1人,教育部跨(新)世紀人才計畫入選者7人,研究團隊獲教育部創新團隊的稱號和國家自然科學基金委員會創新研究群體基金的資助。多人在國內外學術機構、國內外重要學術刊物和學術會議任職。
多年來,本實驗室在有限的運行費的資助下,圍繞實驗室的研究方向,設立了開放課題基金和訪問學者制度,利用良好的學術環境,擴大科研合作面、拓寬學科交叉,促進了我室接觸學科前沿,提升科研水平,活躍學術思想,增強創新活力,提高開放質量。
本實驗室建立了各項規章管理制度,在運行經費、辦公場地、人才引進、評價機制、學術活動、國內外協作等方面得到依託單位南京大學的有力支持,使得研究人員把精力集中在科學研究和實驗室發展上,期望早日實現本實驗室的戰略目標:在軟體新方法與新技術前瞻性和原創性探索方面產生一定的國際影響,在軟體高新技術的研究與開發方面不斷取得進展,在關鍵軟體技術與系統的套用與產業化促進方面取得實際成效,從而把本實驗室建設成為軟體新方法與新技術領域共性基礎問題的系統性與持續性的研究基地、軟體高新技術與系統的研發與套用基地、軟體高水平人才的培養基地、以及軟體新技術的自主創新與實踐基地,為我國在國際軟體高新技術領域占有一席之地做出貢獻,為我國軟體產業的跨越式發展發揮積極的促進作用。
實驗室組織
領導班子名譽主任:徐家福教授
主 任:呂建教授
副 主 任:費翔林教授
主任助理:楊獻春高工
學術委員會主任 : 孫鍾秀 教授、院士
學術委員會副主任: 楊芙清 教授、院士 謝立 教授
姓 名 | 性 別 | 職 稱 | 學委會職務 | 所在單位 | |
朱三元 | 男 | 教授 | 委員 | 上海計算機軟體中心 | |
呂 建 | 男 | 教授 | 委員 | 南京大學計算機軟體所 | |
孫鍾秀 | 男 | 教授,院士 | 主任 | 南京大學計算機系 | |
孫吉貴 | 男 | 教授 | 委員 | 吉林大學前衛校區計算機系 | |
楊芙清 | 女 | 教授,院士 | 副主任 | 北京大學計算機科技系 | |
陸汝鈐 | 男 | 教授,院士 | 委員 | 北京中關村數學所 | |
陳火旺 | 男 | 教授,院士 | 委員 | 國防科技大學計算機系 | |
陳克非 | 男 | 教授 | 委員 | 上海交通大學計算機系 | |
趙沁平 | 男 | 教授 | 委員 | 北京航空航天大學計算機系 | |
周立柱 | 男 | 教授 | 委員 | 北京清華大學計算機系 | |
錢德沛 | 男 | 教授 | 委員 | 北京航空航天大學計算機系 | |
費翔林 | 男 | 教授 | 委員 | 南京大學計算機系 | |
謝 立 | 男 | 教授 | 副主任 | 南京大學計算機系 | |
董韞美 | 男 | 教授,院士 | 委員 | 北京中關村中科院軟體所 |
研究方向
1 新型程式設計與軟體方法學
2 分布計算與並行處理
3 軟體質量保障與自動化技術
4 系統軟體及信息安全
5 智慧型化與多媒體軟體支撐技術