劉瑞挺

芭芭拉?莉斯科芙(Barbara Jane Huberman Liskov) 1939年11月7日生于美國(guó)加州洛杉磯市。1961年在加州大學(xué)伯克利分校取得數(shù)學(xué)學(xué)士學(xué)位,此后去麻省,作為計(jì)算機(jī)程序員先后進(jìn)入Mitre公司和哈佛大學(xué)工作。1963年,她重新回到舊金山,進(jìn)入斯坦福大學(xué)人工智能項(xiàng)目組,作約翰?麥卡錫教授(1971年“圖靈獎(jiǎng)”得主)的研究生。1965年獲碩士學(xué)位,1968年獲得計(jì)算機(jī)科學(xué)博士學(xué)位,成為全美國(guó)第一位計(jì)算機(jī)科學(xué)女博士。在麥卡錫教授的指導(dǎo)下,她的博士論文是編計(jì)算機(jī)下棋殘局的程序(Dissertation: A Program to Play Chess End Games)。

離開(kāi)斯坦福大學(xué),芭芭拉?莉斯科芙重新回到Mitre公司(1968–1972)工作,此后她成為MIT電氣電子與計(jì)算機(jī)科學(xué)系的教授,直到現(xiàn)在。1986–1997年,她擔(dān)任軟件科學(xué)與工程的NEC教授,1997年后擔(dān)任計(jì)算機(jī)工程的Ford教授,2008年后擔(dān)任MIT的研究教授,這是MIT的最高榮譽(yù)。芭芭拉?莉斯科芙培養(yǎng)了25位博士生,她的這些學(xué)生又培養(yǎng)了81位博士生。

2009年3月10日,美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)宣布2008年度“圖靈獎(jiǎng)”授予芭芭拉?莉斯科芙,以表彰她在編程領(lǐng)域的奠基性貢獻(xiàn)。ACM的頒獎(jiǎng)詞是:表彰她“在編程語(yǔ)言和系統(tǒng)設(shè)計(jì),特別是在數(shù)據(jù)抽象、容錯(cuò)和分布式計(jì)算方面對(duì)實(shí)踐與理論基礎(chǔ)的貢獻(xiàn)”(For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing)。

莉斯科芙領(lǐng)導(dǎo)了許多重要的項(xiàng)目,包括小型低成本交互式的分時(shí)操作系統(tǒng)設(shè)計(jì)范例Venus、第一個(gè)支持?jǐn)?shù)據(jù)抽象的面向?qū)ο缶幊陶Z(yǔ)言CLU的設(shè)計(jì)與實(shí)現(xiàn)、第一個(gè)支持分布式程序?qū)崿F(xiàn)的高級(jí)語(yǔ)言Argus、面向?qū)ο髷?shù)據(jù)庫(kù)系統(tǒng)Thor,還有最近的Byzantine分布式容錯(cuò)系統(tǒng)。其中,CLU語(yǔ)言對(duì)現(xiàn)代主流語(yǔ)言,如C++/Java/Python/Ruby/C#都有比較深遠(yuǎn)的影響,而她從這些實(shí)際項(xiàng)目中提煉出來(lái)的程序模塊化和數(shù)據(jù)抽象思想,已經(jīng)成為軟件工程中最重要的精髓之一。她的另一個(gè)在程序設(shè)計(jì)中廣泛應(yīng)用的成就,是與周以真(Jeannette Wing)一起提出的Liskov替換原則,即“派生類(lèi)(子類(lèi))對(duì)象能夠替換其基類(lèi)(超類(lèi))對(duì)象被使用”——這是面向?qū)ο笞钪匾脑瓌t之一。華裔女教授周以真現(xiàn)在是卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)系系主任。

美國(guó)計(jì)算機(jī)協(xié)會(huì)認(rèn)為,莉斯科芙在計(jì)算機(jī)編程領(lǐng)域帶來(lái)了革命性的創(chuàng)新。MIT官員拉斐爾?雷夫表示:“她的杰出成就已經(jīng)跨越了學(xué)界的高墻,改變世界的日常生活。你每次和朋友交換郵件,檢查銀行賬戶(hù),或者是搜索Google,都是在利用莉斯科芙的研究成果?！?/p>

莉斯科芙早期在計(jì)算機(jī)軟件設(shè)計(jì)領(lǐng)域的成就已經(jīng)被納入到多種計(jì)算機(jī)編程語(yǔ)言中,她在程序模塊和數(shù)據(jù)抽象上的研究成果幫助軟件更加容易編寫(xiě)、修改和維護(hù)。莉斯科芙表示,她的工作和“模塊化”有關(guān)系,將復(fù)雜的系統(tǒng)拆分成小的模塊,使它們變得更簡(jiǎn)單。

2009年6月27日,在加州圣迭戈舉行了“圖靈獎(jiǎng)”的頒獎(jiǎng)儀式。圖1為授獎(jiǎng)晚宴留念,從左向右為:ACM 2008年主席Dame Wendy Hall(大英帝國(guó)女勛爵、英國(guó)南安普敦大學(xué)教授、英國(guó)計(jì)算機(jī)協(xié)會(huì)會(huì)長(zhǎng)),英特爾公司企業(yè)技術(shù)事業(yè)部副總裁兼英特爾研究部門(mén)總監(jiān)錢(qián)安達(dá)(Andrew Chien),谷歌副總裁Alfred Z. Spector,芭芭拉?莉斯科芙,ACM CEO約翰?懷特(John R. White )。

從1968年全美第一位計(jì)算機(jī)科學(xué)女博士,到2008年全世界第二位女性“圖靈獎(jiǎng)”得主,芭芭拉?莉斯科芙辛勤工作了整整40年。