バーバラ・リスコフ

ウィキペディアから、無料の百科事典
ナビゲーションにジャンプ 検索にジャンプ
バーバラ・リスコフ
バーバラリスコフMITコンピューターサイエンティスト2010.jpg
2010年のリスコフ。
生まれ
バーバラジェーンフーバーマン

1939-11-071939年11月7日(82歳)
母校
で知られている
配偶者たち)ネイサン・リスコフ(1970–)
子供達1
科学的キャリア
田畑コンピュータサイエンス
機関マサチューセッツ工科大学
定説チェスエンドゲームをプレイするプログラム (1968)
指導教官ジョン・マッカーシー[1]
博士課程の学生

Barbara Liskov(1939年11月7日Barbara Jane Hubermanとして生まれた)は、プログラミング言語分散コンピューティングに先駆的な貢献をしたアメリカのコンピューター科学者です。彼女の注目すべき仕事には、データ抽象化の基本的な性質を説明するリスコフの置換原則の開発が含まれ、型理論オブジェクト指向プログラミングで使用されます彼女の作品は、コンピューターサイエンスの最高峰で ある2008年チューリング賞を受賞しました。

Liskovは、米国でコンピューターサイエンスの博士号を取得した最も初期の女性の1人です。彼女は現在、マサチューセッツ工科大学の研究所教授および工学教授です[2] [3]

初期の生活と教育

リスコフは1939年11月7日カリフォルニア州ロサンゼルス[4]、ジェーンの長男(ニーディクホフ)とモーゼスフーバーマンの4人の子供であるユダヤ人の家族に生まれました。[5]彼女は、1961年にカリフォルニア大学バークレー校で数学の学士号を取得し、物理学の副専攻を取得しました。彼女のクラスには、もう1人の女性の同級生がいて、残りは男性でした。[6]卒業後、彼女はバークレー校とプリンストン大学の大学院数学プログラムに応募しました。当時、プリンストンは数学の女子学生を受け入れていませんでした。[7]彼女はバークレー校で受け入れられたが、勉強する代わりにボストンに移り、MitreCorporation彼女がコンピューターとプログラミングに興味を持つようになったのはそこでのことでした。彼女はマイターで1年間働いた後、ハーバードでプログラミングの仕事に就き、そこで言語翻訳に取り組みました。[7]

その後、彼女は学校に戻ることを決心し、再びバークレーに応募しましたが、スタンフォードとハーバードにも応募しました。1968年に、彼女は米国で博士号を取得した最初の女性の1人になりました。彼女がスタンフォード大学から学位を授与されたとき、コンピュータサイエンス学部から。[8] [9] [10]スタンフォード大学で、彼女はジョン・マッカーシーと協力し、人工知能で働くことを支援されました[7]彼女の博士号のトピック。論文は、彼女が重要なキラーヒューリスティックを開発したチェスのエンドゲームをプレイするためのコンピュータープログラムでした[11]

キャリア

スタンフォード大学を卒業した後、リスコフは研究スタッフとして働くためにマイターに戻りました。[2]

Liskovは、Venusオペレーティングシステム、小型で低コストのタイムシェアリングシステムなど、多くの重要なプロジェクトを主導してきましたCLUの設計と実装Argus 、分散プログラムの実装をサポートし、 promiseパイプライン化の手法を実証する最初の高級言語そして、オブジェクト指向データベースシステムであるThor 。ジャネット・ウィングとともに、彼女はサブタイピングの特定の定義を開発しました。これは一般にリスコフの置換原則として知られています。彼女はMITのプログラミング方法論グループを率いており、現在はビザンチンのフォールトトレランス分散コンピューティング[3]彼女は、2009年にインフォシス賞の最初のエンジニアリングおよびコンピューターサイエンスの審査員を務めました。 [12]

認識と賞

Liskovは、National Academy of EngineeringNational Academy of Sciencesのメンバーであり、American Academy of ArtsandSciencesおよびAssociationforComputing Machinery(ACM)のフェローです。2002年に、彼女はMITのトップ女性教員の1人として認められ、米国の科学のトップ50教員の1人に選ばれました[13] 2002年、Discover誌はLiskovを科学の50人の最も重要な女性の1人として認めました。 。[14]

2004年、バーバラリスコフは、「プログラミング言語、プログラミング方法論、および分散システムへの基本的な貢献」でジョンフォンノイマンメダルを獲得しました。[15] 2005年11月19日、バーバラ・リスコフとドナルド・E・クヌースはETH名誉博士号を授与されました。[16] LiskovとKnuthは、ETHチューリッヒのDistinguishedColloquiumシリーズでも取り上げられました。[17]彼女は、2011年にルガーノ大学から[18]2018年にマドリッド大学から名誉博士号を授与されました。 [19]

Liskovは、オブジェクト指向プログラミングの開発につながったプログラミング言語とソフトウェア方法論の設計における彼女の仕事に対して、2009年3月にACMから2008TuringAwardを受賞しました[20][21]具体的には、リスコフは1970年代のCLU [22]と1980年代のArgus [23]の2つのプログラミング言語を開発しました。[21] ACMは、「プログラミング言語とシステム設計、特にデータの抽象化フォールトトレランス分散コンピューティングに関連する」の実践的および理論的基盤への貢献を引用しました[24] 2012年、彼女は国立発明家の殿堂入りを果たした。[25]

厳選された作品

バーバラ・リスコフは、4冊の本と100を超える技術論文の著者です。

書籍

  • リスコフ、バーバラ; アトキンソン、R .; ブルーム、T .; モス、E .; シャファート、JC; Scheifler、R .; スナイダー、A。(1981)。CLU:リファレンスマニュアルシュプリンガーベルリンハイデルベルク。ISBN 978-3-540-10836-8

厳選された論文

個人的な生活

1970年に、彼女はネイサン・リスコフと結婚しました。[7]彼らには、2004年にMITでコンピューターサイエンスの博士号を取得し、ウィリアムアンドメアリー大学でコンピューターサイエンスを教えた息子のモーゼスがいます。[2]

も参照してください

参照

  1. ^ 数学系図プロジェクトバーバラリスコフ
  2. ^ abc 「 バーバラリスコフ AMチューリング賞コンピューティングマシナリー協会2021年8月28日取得
  3. ^ a b Barbara Liskov、プログラミング方法論グループ、MIT。
  4. ^ Karagianis、リズ(2009年秋)。「最優秀賞」MITスペクトラム2016年7月10日取得
  5. ^ 「ジェーンシーゲル:死亡記事」サンフランシスコクロニクル(Legacy.com経由)2010年1月24日2014年11月18日取得
  6. ^ D'Agostino、スーザン(2019年11月20日)。「現代アルゴリズムのアーキテクト」クアンタマガジン2020年10月21日取得
  7. ^ a b c d Guttag、ジョン(2005-01-01)。電子とビット:マサチューセッツ工科大学の電気工学とコンピュータサイエンス、1902年から2002年マサチューセッツ州ケンブリッジ:MIT、電気工学およびコンピューターサイエンス部門OCLC61332947 
  8. ^ 「バーバラリスコフ」EngineerGirl 2007年9月6日取得全米工学アカデミーからのプロフィール。
  9. ^ 「UW-マディソンコンピュータサイエンス博士号を受賞、1965年5月–1970年8月」2010年11月8日取得UW-マディソンコンピュータサイエンス学部で博士号を取得。
  10. ^ 「バーバラリスコフ|伝記、AMチューリング賞、および事実」ブリタニカ百科事典2021年9月25日取得
  11. ^ フーバーマン(リスコフ)、バーバラジェーン(1968)。チェスエンドゲームをプレイするプログラム(PDF)(レポート)。テクニカルレポートCS106、スタンフォード人工知能プロジェクトメモAI-65。スタンフォード大学コンピューターサイエンス学部。
  12. ^ 「インフォシス賞-2009年審査員」インフォシスサイエンスファンデーション2021年3月1日取得
  13. ^ 「MITの壮大な7人:トップの科学者として引用された女性の教員」MITニュースオフィスマサチューセッツ州ケンブリッジ。2002年11月5日2012年10月29日取得
  14. ^ Svitil、Kathy(2002年11月13日)。「科学で最も重要な50人の女性」発見する2019年5月1日取得
  15. ^ IEEEのウェブサイトからのIEEEジョンフォンノイマンメダル受信者
  16. ^ 「名誉博士」チューリッヒ:ETHコンピューターサイエンス。2006年3月22日。2013年1月8日のオリジナルからアーカイブ2012年10月29日取得バーバラ・リスコフとドナルド・E・クヌースは、2005年11月19日にETH名誉博士の称号を授与されました。
  17. ^ 「著名な講師バーバラリスコフとドナルドE.クヌース」チューリッヒ:ETHコンピューターサイエンス。2006年1月。 2013年1月8日のオリジナルからアーカイブ2012年10月29日取得
  18. ^ 「USI名誉博士号」USI 2021-05-16を取得
  19. ^ elEconomista.es。「バーバラ・リスコフ、名誉博士号、UPM-elEconomista.es」(スペイン語)2018年6月11日取得
  20. ^ ワイズマン、ロバート(2009年3月10日)。「コンピューティングの最優秀賞はMIT教授に贈られます」ボストングローブ
  21. ^ a b バーバラ・リスコフがチューリング賞を受賞| Dr.Dobb'sJournalのWebサイトから2009年3月10日
  22. ^ Liskov、B .; スナイダー、A .; アトキンソン、R .; Schaffert、C.(1977年8月)。「CLUの抽象化メカニズム」。ACMの通信20(8):564–576。CiteSeerX10.1.1.112.656_ 土井10.1145/359763.359789S2CID17343380_  
  23. ^ Liskov、B.(1988年3月)。「Argusでの分散プログラミング」。通信。ACM31(3):300–312。土井10.1145/42392.42399S2CID16233001_ 
  24. ^ 「ACMは2008年のACMAMチューリング賞のバーバラリスコフ受賞者に名前を付けます」コンピューティングマシナリー協会。2012年7月16日にオリジナルからアーカイブされました2009年3月10日取得
  25. ^ 「スポットライト|国立発明者の殿堂」Invent.org。2013-11-21。2016年8月14日にオリジナルからアーカイブされまし2016年5月31日取得

外部リンク