芭芭拉·利斯科夫（Barbara Liskov），1939年11月7日出生於美國加利福尼亞，計算機科學家，2008年圖靈獎獲得者，美國國家工程院院士，美國藝術與科學院院士，ACM fellow（美國計算機協會會士）。
芭芭拉·利斯科夫於1961年在加州大學伯克利分校獲得數學學士學位；1968年在史丹福大學獲得計算機科學博士學位；1968年至1972年任職於Mitre公司；1972年加入麻省理工學院；1980年成為麻省理工學院的正教授；1989年當選為美國國家工程院院士；1992年當選為美國藝術與科學院院士；1996年當選為ACM fellow（美國計算機協會會士）；2001年至2004年擔任麻省理工學院計算機科學系副主任；2007年被任命為麻省理工學院副教務長；2008年獲得圖靈獎。
基本介紹
人物經歷,主要成就,科研成就,人才培養,榮譽表彰,社會任職,人物評價,
人物經歷
1939年11月7日，芭芭拉·利斯科夫出生於美國加利福尼亞。
1961年，在加州大學伯克利分校獲得數學學士學位。
1968年，在史丹福大學獲得計算機科學博士學位，師從約翰·麥卡錫，成為美國首批獲得計算機科學博士學位的女性之一。
1968年—1972年，任職於Mitre公司。
1972年，加入麻省理工學院。
1980年，成為麻省理工學院的正教授。
1989年，當選為美國國家工程院院士。
1992年，當選為美國藝術與科學院院士。
1996年，當選為ACM fellow（美國計算機協會會士）。
2001年—2004年，擔任麻省理工學院計算機科學系副主任。
2007年，被任命為麻省理工學院副教務長。
2008年，獲得圖靈獎。
主要成就
科研成就
- 科研綜述
芭芭拉·利斯科夫對程式語言和系統設計的實踐和理論基礎作出了貢獻：創造了專門用於支持複雜軟體構建的“維納斯計算機”；描述了Algol（算法語言）對Venus作業系統的變數範圍劃分的影響；領導了CLU程式語言的設計和實現，該語言強調模組化編程、數據抽象和多態性的概念，這些概念是現代計算機語言（如Java和c#）中使用的面向對象編程的基礎；創建了Argus語言，該語言擴展了CLU的思想，以簡化在網路上分布的程式的實現，包括對嵌套事物的支持。
- 學術論文
據2023年8月AMiner平台數據，芭芭拉·利斯科夫已發表學術論文272篇，論文被引34431次，H-index：76。
[1]Barbara Liskov,Robert W Scheifler.Guardians and actions: linguistic support for robust, distributed programs[J].ACM Transactions on Programming Languages and Systems (TOPLAS),1983.
[2]Barbara Liskov.Keynote address - data abstraction and hierarchy[J].ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applicat... (OOPSLA),1988.
[3]Andrew C. Myers,Barbara Liskov.Protecting privacy using the decentralized label model[J].ACM Transactions on Software Engineering and Methodology (TOSEM),2000.
[4]Rodrigo Rodrigues,Barbara Liskov.High availability in DHTs: erasure coding vs. replication[J].International Workshop on Peer-to-Peer Systems (IPTPS),2005.
[5]Stephen Tu,Wenting Zheng,Eddie Kohler,Barbara Liskov,Samuel Madden.Speedy transactions in multicore in-memory databases[J].Symposium on Operating Systems Principles (SOSP),2013.
人才培養
- 培養成果
截止到2009年8月，芭芭拉·利斯科夫已培養畢業博士生26位，畢業碩士生78位。
- 出版教材
芭芭拉·利斯科夫與John Guttag合著的《Abstraction and Specification in Program Developmen》（程式開發中的抽象概念和規範），這本書教育了幾代學生如何編寫優秀的軟體。
榮譽表彰
獲獎時間 | 榮譽表彰 |
|---|---|
1989年 | 美國國家工程院院士 |
1992年 | 美國藝術與科學院院士 |
1996年 | ACM fellow（美國計算機協會會士） |
1996年 | 美國女工程師協會成就獎 |
2002年 | 被《Discover》（發現）雜誌評為科學界50位最重要的女性之一 |
2004年 | IEEE約翰·馮·諾伊曼獎 |
2005年 | 瑞士蘇黎世聯邦理工學院榮譽博士 |
2008年 | 麻省理工學院“學院教授”（這是授予麻省理工學院教職員工的最高榮譽） |
2008年 | ACM SIGPLAN程式語言終身成就獎 |
2008年 | ACM SIGSOFT影響論文獎 |
2009年 | 圖靈獎 |
2011年 | 卡內基梅隆大學Katayanagi計算機科學卓越研究獎 |
2011年 | 西北大學榮譽博士 |
2011年 | 瑞士盧加諾大學榮譽博士 |
社會任職
芭芭拉·利斯科夫曾擔任麻省理工學院的編程方法學小組負責人，以及ACM（美國計算機協會）程式語言與系統事務（TOPLAS）的副主編，也是ACM程式語言（SIGPLAN）、作業系統（SIGOPS）和資料庫管理（SIGMOD）特別興趣小組的成員，她還曾在美國國家科學基金會的計算機和信息科學與工程（CISE）諮詢委員會以及美國國家研究委員會的計算機科學和電信委員會（CSTB）任職。
人物評價
芭芭拉·利斯科夫在麻省理工學院受到尊敬，因為她是學者、導師和領導者。她的開創性研究使她成為世界領先的研究人員之一（Barbara is revered in the MIT community for her role as scholar, mentor and leader,said MIT President Susan Hockfield.Her pioneering research has made her one of the world's leading）。（時任麻省理工學院校長蘇珊·霍克菲爾德評）
她（芭芭拉·利斯科夫）的開創性研究徹底改變了編程領域，為消費者和企業提供了幾乎所有現代計算機套用的基礎（She revolutionized the programming field with groundbreaking research that underpins virtually every modern computer application for both consumers and businesses）。（加拿大信息處理學會評）
