劉瑞挺

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

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

2009年3月10日,美國計算機協(xié)會(ACM)宣布2008年度“圖靈獎”授予芭芭拉?莉斯科芙,以表彰她在編程領(lǐng)域的奠基性貢獻。ACM的頒獎詞是:表彰她“在編程語言和系統(tǒng)設(shè)計,特別是在數(shù)據(jù)抽象、容錯和分布式計算方面對實踐與理論基礎(chǔ)的貢獻”(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)了許多重要的項目,包括小型低成本交互式的分時操作系統(tǒng)設(shè)計范例Venus、第一個支持數(shù)據(jù)抽象的面向?qū)ο缶幊陶Z言CLU的設(shè)計與實現(xiàn)、第一個支持分布式程序?qū)崿F(xiàn)的高級語言Argus、面向?qū)ο髷?shù)據(jù)庫系統(tǒng)Thor,還有最近的Byzantine分布式容錯系統(tǒng)。其中,CLU語言對現(xiàn)代主流語言,如C++/Java/Python/Ruby/C#都有比較深遠的影響,而她從這些實際項目中提煉出來的程序模塊化和數(shù)據(jù)抽象思想,已經(jīng)成為軟件工程中最重要的精髓之一。她的另一個在程序設(shè)計中廣泛應(yīng)用的成就,是與周以真(Jeannette Wing)一起提出的Liskov替換原則,即“派生類(子類)對象能夠替換其基類(超類)對象被使用”——這是面向?qū)ο笞钪匾脑瓌t之一。華裔女教授周以真現(xiàn)在是卡內(nèi)基梅隆大學(xué)計算機系系主任。

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

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

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

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