芭芭拉·利斯科夫
外觀
芭芭拉·利斯科夫 (Barbara Liskov) | |
---|---|
出生 | Barbara Jane Huberman 1939年11月7日 洛杉磯, 加利福尼亞 |
國籍 | ![]() |
母校 | 加州大學伯克利分校 史丹福大學 |
知名於 | |
獎項 | IEEE約翰·馮諾依曼獎(2004), 圖靈獎(2008) |
科學生涯 | |
研究領域 | 計算機科學 |
機構 | 麻省理工學院 |
論文 | A Program to Play Chess End Games(1968) |
博士導師 | 約翰·麥卡錫[1] |
芭芭拉·利斯科夫(英語:Barbara Liskov,1939年11月7日—),本名芭芭拉·簡·休伯曼(英語:Barbara Jane Huberman)。美國計算機科學家,[2]2008年圖靈獎得主,[3][4]2004年約翰·馮諾依曼獎得主。[5]現任麻省理工學院電子電氣與計算機科學系教授。[6]
簡歷
[編輯]1961年在加州大學伯克利分校獲得數學學士學位。1968年在史丹福大學獲得博士學位,她是美國第一個計算機科學女博士。[7][8]導師為1971年圖靈獎得主約翰·麥卡錫教授,論文題目是西洋棋殘局程序。[9]
利斯科夫領導了許多重要的項目,包括小型低成本交互式的分時作業系統Venus,第一個支持數據抽象的物件導向程式語言CLU的設計與實現(1970年代),[10]第一個支持分布式程序實現的高級語言Argus(1980年代),[11]物件導向資料庫系統Thor,還有最近的Byzantine分布式容錯系統。[12]其中,CLU語言對現代主流語言如C++/Java/Python/Ruby/C#都有比較深遠的影響。而她從這些實際項目中提煉出來的數據抽象思想,已經成為軟體工程中最重要的精髓之一。
她另外一個在程序設計中有廣泛應用的成就,是與周以真(Jeannette Wing)合作發展出子類型定義,並且一起提出的Liskov代換原則,這是物件導向程序設計中最重要的幾大原則之一。
認可和獎勵
[編輯]利斯科夫是美國工程院院士,美國藝術與科學院院士,美國計算機協會(ACM)會士。2002年,她被公認是在麻省理工學院頂級女性教師之一,在美國科學領域中的排名前50位大學教學人員之中。[13]
著作
[編輯]Program Development in Java,Addison-Wesley, 2001
參考資料
[編輯]- ^ 芭芭拉·利斯科夫在數學譜系計畫的資料。
- ^ Barbara Liskov - A.M. Turing Award Winner. [2014-02-22]. (原始內容存檔於2017-09-19).
- ^ Top prize in computing goes to MIT professor (頁面存檔備份,存於網際網路檔案館) from the website of The Boston Globe
- ^ Barbara Liskov Wins Turing Award | March 10, 2009 (頁面存檔備份,存於網際網路檔案館) from the Dr. Dobb's Journal website
- ^ IEEE John von Neumann Medal Recipients (頁面存檔備份,存於網際網路檔案館) from the website of IEEE
- ^ Barbara Liskov (頁面存檔備份,存於網際網路檔案館), Programming Methodology Group, MIT
- ^ Barbara Liskov -- Engineergirl. [2007-09-06]. (原始內容存檔於2013-07-09). Profile from the National Academies of Engineering.
- ^ UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970. [2010-11-08]. (原始內容存檔於2010-06-16). PhDs granted at UW-Madison Computer Sciences Department.
- ^ *Huberman (Liskov), Barbara Jane. A program to play chess end games. Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65. 1968 [2014-02-22]. (原始內容存檔於2014-01-09).
- ^ Barbara Liskov, Alan Snyder, Russell Atkinson, Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM. 1977-08-01, 20 (8): 564–576 [2018-04-02]. ISSN 0001-0782. doi:10.1145/359763.359789.
- ^ Barbara Liskov. Distributed programming in Argus. Communications of the ACM. 1988-03-01, 31 (3): 300–312 [2018-04-02]. ISSN 0001-0782. doi:10.1145/42392.42399.
- ^ ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award. Association for Computing Machinery. [2009-03-10]. (原始內容存檔於2012-07-16).
- ^ MIT's magnificent seven: Women faculty members cited as top scientists. MIT News Office (Cambridge, MA). 5 Nov 2002 [29 October 2012]. (原始內容存檔於2014-01-09).
參閲
[編輯]外部連結
[編輯]- (英文)利斯科夫教授的主頁 (頁面存檔備份,存於網際網路檔案館)
- (英文)編程方法學群組 (頁面存檔備份,存於網際網路檔案館)
- (英文)圖靈獎新聞稿 (頁面存檔備份,存於網際網路檔案館)
- (英文)National Public Radio,「科學日」利斯科夫專訪,播出日期2009年3月13日
- 她改變了編程 - 知乎 (頁面存檔備份,存於網際網路檔案館)
|
|
|
|