南京“本土”院士呂建出任南大校長

南報網(wǎng)訊（記者 談潔）1月30日下午，南京大學(xué)舉行全體教師干部大會。中共中央組織部在該校宣布了中共中央、國務(wù)院的任免決定，呂建任南京大學(xué)校長（副部長級），因任職年齡到限，陳駿同志不再擔任南京大學(xué)校長職務(wù)。

據(jù)了解，南京大學(xué)新校長呂建院士是一位計算機科學(xué)家，長期從事軟件方法學(xué)研究，取得一系列科研成果，此前擔任南京大學(xué)常務(wù)副校長。南京大學(xué)原校長陳駿從2006年開始擔任南京大學(xué)校長職務(wù)，距今已有近12年。

呂建1960年3月出生于南京，籍貫山東榮成，1984年參加工作，工學(xué)博士，教授，博士生導(dǎo)師，中國科學(xué)院院士。

1982年畢業(yè)于南京大學(xué)計算機系，1988年獲博士學(xué)位。1984年11月起在南京大學(xué)任教。歷任南京大學(xué)計算機系副主任、計算機軟件研究所副所長、南京大學(xué)重點項目建設(shè)辦公室主任、南京大學(xué)副校長、南京大學(xué)研究生院院長（兼）、南京大學(xué)常務(wù)副校長，2018年1月任南京大學(xué)校長。

呂建主要從事軟件方法學(xué)研究，在軟件基礎(chǔ)理論與方法、網(wǎng)構(gòu)軟件方法學(xué)和新型軟件平臺及其應(yīng)用方面取得系列成果。提出了一種具有模型裂變能力的形式化開發(fā)方法，其數(shù)據(jù)分解新機制可用于大型程序開發(fā)的復(fù)雜性控制。研究了開放環(huán)境下軟件系統(tǒng)的范型、方法與技術(shù)等問題，提出了基于Agent的網(wǎng)構(gòu)軟件方法學(xué)，探索了面向Internet軟件方法學(xué)研究的新途徑。發(fā)展了開放環(huán)境下的軟件協(xié)同技術(shù)，主持研制了新型軟件協(xié)同平臺，可為開放、動態(tài)、多變環(huán)境下應(yīng)用系統(tǒng)的開發(fā)與運行提供支撐。曾獲教育部自然科學(xué)獎一等獎、教育部技術(shù)發(fā)明獎一等獎、國家科技進步獎二等獎等。2013年當選中國科學(xué)院院士。先后當選第十二屆全國政協(xié)委員、第十三屆全國人大代表。