ジョン・ラシュビー | |
|---|---|
| 生誕 | 1949年（76～77歳） イギリス、ロンドン |
| 市民権 | 英国 |
| 出身校 | ニューカッスル大学 |
| 科学者としてのキャリア | |
| 分野 | 形式手法とディペンダブルシステム |
| 機関 | マンチェスター大学ニューカッスル大学SRIインターナショナル |
ジョン・ラシュビー（1949年生まれ）は、現在アメリカを拠点とし、 SRIインターナショナルに勤務するイギリスのコンピュータ科学者です。以前はマンチェスター大学、後にニューカッスル大学で教鞭をとり、研究を行っていました。
幼少期と教育
ジョン・ラシュビーはロンドンで生まれ育ち、ダートフォード・グラマー・スクールに通った。その後、イギリスのニューカッスル大学で学び、1971年にコンピュータサイエンスの理学士号、 1977年に博士号を取得した。 [ 1 ] [ 2 ]
経歴
1974年から1975年まで、マンチェスター大学コンピュータサイエンス学部の講師を務めました。1979年から1982年まで、 ニューカッスル大学コンピュータサイエンス学部の研究員を務めました
ラシュビーは1983年にカリフォルニア州メンロパークのSRIインターナショナルに入社しました。 [ 1 ]現在はSRIのコンピュータサイエンス研究所で形式手法とディペンダブルシステムのプログラムディレクターを務めています。 [ 1 ]定理証明器であるプロトタイプ検証システムを開発した人物です。
受賞歴と会員
ラシュビーは、2011年にIEEEコンピュータ協会からハーラン・D・ミルズ賞を受賞しました。[ 3 ]
参考文献
- ^ a b c「ジョン・ラシュビーの経歴」 。米国海軍研究所、情報技術部門、高保証コンピュータシステムセンター。 2001年7月2日時点のオリジナルよりアーカイブ。2012年3月4日閲覧
- ^ Charles (2011年6月15日). 「ICSE 2011: John Rushby - 形式手法、検証、そしてコンピューティングの歴史」 . Channel 9. 2012年3月12日閲覧。
- ^ 「ジョン・ラシュビー：2011年ハーラン・D・ミルズ賞受賞者」 IEEEコンピュータ協会。 2012年3月4日閲覧。
外部リンク
