ジョン・ラシュビー

ジョン・ラシュビー（1949年生まれ）は、現在米国を拠点とし、SRIインターナショナルに勤務するイギリスのコンピュータ科学者です。以前はマンチェスター大学、後にニューカッスル大学で教鞭をとり、研究を行っていました。

ジョン・ラシュビーはロンドンで生まれ育ち、ダートフォード・グラマー・スクールに通った。イギリスのニューカッスル大学で学び、1971年にコンピュータサイエンスの学士号を取得し、 1977年に博士号を取得した。 ^{[1] [2]}

1974年から1975年まで、マンチェスター大学のコンピュータサイエンス学部の講師を務めた。1979年から1982年まで、ニューカッスル大学のコンピュータサイエンス学部の研究員を務めた。

ラッシュビーは1983年にカリフォルニア州メンロパークのSRIインターナショナルに入社しました。[1 ^]現在、彼はSRIのコンピュータサイエンス研究所で形式手法とディペンダブルシステムのプログラムディレクターを務めています。 ^[1]彼は定理証明器であるプロトタイプ検証システムを開発しました。

ラッシュビーは2011年にIEEEコンピュータ協会からハーラン・D・ミルズ賞を受賞した。^[3]

• 公式ホームページ
• 個人ホームページ