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