美國第一位計算機科學女博士、第二位女性“圖靈獎”得主

劉瑞挺

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

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

2009年3月10日,美國計算機協會(ACM)宣布2008年度“圖靈獎”授予芭芭拉?莉斯科芙,以表彰她在編程領域的奠基性貢獻。ACM的頒獎詞是:表彰她“在編程語言和系統設計,特別是在數據抽象、容錯和分布式計算方面對實踐與理論基礎的貢獻”(For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing)。

莉斯科芙領導了許多重要的項目,包括小型低成本交互式的分時操作系統設計范例Venus、第一個支持數據抽象的面向對象編程語言CLU的設計與實現、第一個支持分布式程序實現的高級語言Argus、面向對象數據庫系統Thor,還有最近的Byzantine分布式容錯系統。其中,CLU語言對現代主流語言,如C++/Java/Python/Ruby/C#都有比較深遠的影響,而她從這些實際項目中提煉出來的程序模塊化和數據抽象思想,已經成為軟件工程中最重要的精髓之一。她的另一個在程序設計中廣泛應用的成就,是與周以真(Jeannette Wing)一起提出的Liskov替換原則,即“派生類(子類)對象能夠替換其基類(超類)對象被使用”——這是面向對象最重要的原則之一。華裔女教授周以真現在是卡內基梅隆大學計算機系系主任。

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

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

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

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