楊芙清,1932年11月生,江蘇無錫人。著名計(jì)算機(jī)軟件和軟件工程科學(xué)家、教育家,中國科學(xué)院院士。1958 年北京大學(xué)數(shù)力系研究生畢業(yè)留校任教。1978 年獲全國科學(xué)大會獎,1979 年獲“國務(wù)院嘉獎令”,獲國家科技進(jìn)步二等獎(2 次)、國家級教學(xué)成果一等獎、電子工業(yè)部科技進(jìn)步特等獎等國家及省部級獎勵 26 項(xiàng)。
曾任北京大學(xué)計(jì)算機(jī)科技系主任、軟件工程國家工程研究中心主任、信息與工程科學(xué)部主任;國務(wù)院學(xué)位委員會委員、學(xué)科評議組召集人;中國計(jì)算機(jī)學(xué)會、中國電子學(xué)會、中國軟件行業(yè)協(xié)會副理事長;《中國科學(xué)》、《科學(xué)通報(bào)》副主編?,F(xiàn)任北京大學(xué)計(jì)算機(jī)學(xué)院名譽(yù)院長,軟件與微電子學(xué)院理事長、名譽(yù)院長。培養(yǎng)碩士、博士及博士后 180 名。
楊芙清是我國操作系統(tǒng)領(lǐng)域的開拓者和軟件學(xué)科的奠基人,被譽(yù)為中國計(jì)算機(jī)軟件事業(yè)的鋪路人。研究逆編譯,采用逆向驗(yàn)證方法設(shè)計(jì)的分析程序,解決目標(biāo)程序正確性驗(yàn)證問題,被西方雜志稱為程序自動化早期的優(yōu)秀工作。主持研制我國第一個支持多道運(yùn)行的 150 機(jī)操作系統(tǒng),150 機(jī)使石油勘探領(lǐng)域數(shù)據(jù)處理發(fā)生了第一次數(shù)字化革命。提出了層次管程結(jié)構(gòu)模型和 PCM 設(shè)計(jì)方法,主持研制我國第一個全部用高級語言書寫的操作系統(tǒng),屬國內(nèi)首創(chuàng),在國際上也無先例。開創(chuàng)軟件工程基礎(chǔ)研究,主持從“六五”至“九五”四個“五年計(jì)劃”國內(nèi)最大規(guī)模的軟件工程研究和應(yīng)用實(shí)踐項(xiàng)目“青鳥工程”,對軟件工程化、工業(yè)化生產(chǎn)技術(shù)和環(huán)境開展了卓有成效的研發(fā)工作,引發(fā)了中國軟件工程思想和技術(shù)的啟蒙與廣泛推廣,促進(jìn)了中國軟件產(chǎn)業(yè)的形成。