バーバラ・リスコフ

バーバラ・リスコフは、複雑な実装を安定した抽象の背後へ隠し、利用側との契約を保つ方法を、理論・言語・分散システムで一貫して追究した人物です。抽象型から障害耐性まで、変更の影響範囲を制御するという同じ問いが貫かれています。[1][4][5]

現在・代表的な役割

マサチューセッツ工科大学 Institute Professor／Programming Methodology Group責任者

生い立ちから現在まで、肩書きだけでなく研究・開発・事業を動かした主要な出来事を時系列で追います。

1. 1961年

   カリフォルニア大学バークレー校を卒業

   数学を学び、計算機分野へ進む基礎を築きました。[8][3]

2. 1968年

   スタンフォード大学で博士号を取得

   計算機科学の博士号を取得し、プログラミングとシステム研究へ進みました。[8][3]

3. 1968年

   MITREで研究を開始

   コンピューターシステム研究に従事し、のちの言語設計につながる実務経験を積みました。[7][3]

4. 1972年

   MIT教員へ

   MITで研究・教育を始め、Programming Methodology Groupへつながる活動を進めました。[3][2]

5. 1973年

   CLUプロジェクトを開始

   データ抽象化を直接支える言語の設計と実装をチームで進めました。[4][7]

6. 1980年

   Argus研究を開始

   分散プログラムの状態と処理を高水準言語で扱うため、guardianやatomic actionを設計しました。[1][7]

7. 1987年

   サブタイプの振る舞い条件を提示

   継承やサブタイプが利用側の期待を壊さないための条件を基調講演で示しました。[6][7]

8. 1990年

   Thorプロジェクトを推進

   永続オブジェクトへトランザクションでアクセスする分散データベースを研究しました。[1][7]

9. 1999年

   Practical Byzantine Fault Toleranceを発表

   Miguel Castroとの研究で、ビザンチン障害に耐える複製サービスを実装・評価しました。[5]

10. 2004年

    IEEE John von Neumann Medalを受賞

    プログラミング言語とシステムへの貢献が評価されました。[1][8]

11. 2009年

    ACM A.M. Turing Awardを受賞

    プログラミング言語・システム設計の基礎、とくにデータ抽象化、耐障害性、分散計算への貢献で選ばれました。[8][7]

12. 2026年

    MIT Institute Professorとして活動

    2026年8月時点でMIT CSAILのProgramming Methodology Groupを率いています。[1][2]

知名度や肩書きではなく、技術と産業に残した変化から人物像を整理します。

年表の出来事をつなぎ、研究テーマや仕事の選択がどのように次の段階へ結びついたかを読み解きます。

生い立ちから現在までを一本の物語として見るために、方向を大きく変えた3つの選択に絞りました。

個人の功績だけに還元せず、共同研究者、組織、社会への影響まで含めて考えるための視点です。

TechCreateの関連記事

Engineering

プログラミング言語とは？仕組み・種類・初心者の選び方をやさしく解説【IT用語の教科書】

もっと知る

本人のインタビュー、論文、公式プレゼンテーション、評伝を横断し、技術思想を立体的にたどれる資料を選びました。

選定：TechCreate編集部。リンク先の内容・販売状況は各配信元でご確認ください。