Loading article…
バーバラ・ジェーン・リスコフ（旧姓ヒューバーマン 、1939年11月7日生まれ）は、プログラミング言語と分散コンピューティングに先駆的な貢献をしたアメリカのコンピュータ科学者です。彼女の著名な業績には、抽象データ型とその付随するデータ抽象化の原理の導入、そしてこれらの概念をオブジェクト指向プログラミング、サブタイピング、継承に適用するリスコフ置換原理などがあります。彼女の業績は、コンピュータ科学における最高の栄誉である2008年のチューリング賞によって認められました。
リスコフは、米国でコンピュータサイエンスの博士号を授与された最初期の女性の一人であり、チューリング賞を受賞した2人目の女性である。彼女は現在、マサチューセッツ工科大学のインスティテュート・プロフェッサーおよびフォード工学教授を務めている。[ 2 ] [ 3 ]
リスコフは1939年11月7日、カリフォルニア州ロサンゼルスで、ジェーン（旧姓ディックホフ）とモーゼス・ヒューバーマンの4人の子供の長女として生まれた。[ 4 ] [ 5 ] 1961年にカリフォルニア大学バークレー校で数学の学士号を取得し、物理学を副専攻とした。バークレーでは、彼女の専攻で女性のクラスメートは他に1人しかいなかった。[ 6 ]彼女はバークレーとプリンストンの大学院数学プログラムに応募した。当時、プリンストンは数学で女子学生を受け入れていなかった。[ 7 ]彼女はバークレーに合格したが、代わりにボストンに移り、MITREコーポレーションで働き始め、そこでコンピュータとプログラミングに興味を持つようになった。彼女はMITREで1年間働いた後、ハーバード大学でプログラミングの仕事に就き、言語翻訳に取り組んだ。[ 7 ]
その後、彼女は再び学校に戻ることを決意し、バークレー校だけでなくスタンフォード校とハーバード校にも出願した。1968年3月、彼女は米国で初めてスタンフォード大学のコンピュータ科学科から博士号を授与された女性の一人となった。[ 8 ] [ 9 ] [ 10 ]スタンフォードでは、ジョン・マッカーシーと共に研究を行い、人工知能の研究で支援を受けた。[ 7 ]彼女の博士論文のテーマは、チェスの終盤戦をプレイするコンピュータプログラムであり、そのために重要なキラーヒューリスティックを開発した。[ 11 ]
スタンフォード大学を卒業後、リスコフはミトレ社に戻り、研究員として働いた。[ 2 ]
リスコフは、小型で低コストのタイムシェアリングシステムであるVenusオペレーティングシステム、 CLUの設計と実装、分散プログラムの実装をサポートし、プロミスパイプラインの技術を実証した最初の高水準言語であるArgus、オブジェクト指向データベースシステムであるThorなど、多くの重要なプロジェクトを主導してきました。彼女はジャネット・ウィングと共に、一般にリスコフ置換原理として知られるサブタイピングの特定の定義を開発しました。彼女はMITのプログラミング方法論グループを率いており、現在の研究はビザンチンフォールトトレランスと分散コンピューティングに焦点を当てています。[ 3 ]彼女は2009年にInfosys Prizeの最初のエンジニアリングおよびコンピュータサイエンス審査員を務めました。[ 12 ]リスコフによるCLUとArgusの設計と開発は、後にJava、C++、C#、Adaなどの多くの有名なプログラミング言語に影響を与えました。[ 13 ]
リスコフによるリスコフ置換原理（LSP）の定式化は、ソフトウェア工学の理論と実践に永続的な影響を与えてきました。この原理はソフトウェア工学教育の基礎概念となり、オブジェクト指向設計におけるサブタイプの正しさの形式的な基準として広く教えられています。大学のカリキュラムや教科書では、プログラムの動作互換性について推論するための重要なルールとして一般的に紹介されています。[ 14 ]
リスコフは、米国工学アカデミー、米国科学アカデミーの会員であり、米国芸術科学アカデミーおよび計算機学会（ACM）のフェローでもある。2002年には、MITで最も優秀な女性教員の1人、および米国の科学分野で最も優秀な教員50人の1人として認められた[ 15 ]。 2002年には、Discover誌がリスコフを科学界で最も重要な女性50人の1人として認めた[ 16 ] 。
2004年、バーバラ・リスコフは「プログラミング言語、プログラミング手法、分散システムへの基礎的な貢献」によりジョン・フォン・ノイマン・メダルを受賞した。 [ 17 ] 2005年11月19日、バーバラ・リスコフとドナルド・E・クヌースはETHの名誉博士号を授与された。 [ 18 ]リスコフとクヌースはETHチューリッヒの著名人コロキウムシリーズにも登場した。[ 19 ]彼女は2011年にルガーノ大学から[ 20 ]、2018年にマドリード工科大学から名誉博士号を授与された。[ 21 ]
リスコフは、オブジェクト指向プログラミングの開発につながったプログラミング言語とソフトウェア手法の設計における功績により、2009年3月にACMから2008年のチューリング賞を受賞しました。[ 22 ] [ 23 ]特に、リスコフは1970年代にCLU [ 24 ] 、 1980年代にArgus [ 25 ]という2つのプログラミング言語を開発しました。 [ 23 ] ACMは、彼女の「プログラミング言語とシステム設計、特にデータ抽象化、フォールトトレランス、分散コンピューティングに関連する」実践的および理論的基盤への貢献を挙げました。 [ 26 ] 2012年には、全米発明家殿堂入りを果たしました。[ 27 ]
2023年、リスコフは「コンピュータプログラミング言語と方法論への画期的な貢献、信頼性が高く再利用可能なプログラムの実装を可能にした」功績により、フランクリン研究所からベンジャミン・フランクリン・メダルを授与された。[ 28 ]
リスコフは2023年2月時点で5冊の著書と100本以上の技術論文を発表している。
リスコフはユダヤ人である。[ 29 ] 1970年にネイサン・リスコフと結婚した。[ 7 ]彼らにはモーゼスという息子がおり、2004年にMITでコンピュータサイエンスの博士号を取得し、ウィリアム・アンド・メアリー大学でコンピュータサイエンスを教えている。[ 2 ]
バーバラ・リスコフとドナルド・E・クヌースは、2005年11月19日にETH名誉博士の称号を授与された。