Loading article…
ロバート・L・コンスタブル | |
|---|---|
| 生まれる | ロバート・リー・コンスタブル 1942 |
| 市民権 | アメリカ合衆国 |
| 母校 | |
| 知られている | ヌプル |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | コーネル大学 |
| 博士課程の指導教員 | スティーブン・クリーネ |
| 博士課程の学生 | |
ロバート・リー・コンスタブル（1942年生まれ）は、アメリカのコンピュータ科学者である。彼は、コーネル大学のコンピュータサイエンスの教授であり、同大学のコンピューティングおよび情報科学学部の初代学部長および元学部長である。[2]彼は、コンピュータプログラムと数学的証明、特にNuprlシステムを関連付ける研究で知られている。Nuprl以前は、PL/CV形式システムと検証器に取り組んでいた。[3]アロンゾ・チャーチは、コンスタブルがプリンストンで学んでいたときに、彼の3年生の論文を指導した。[4] コンスタブルは、1968年にスティーブン・クリーネの指導の下で博士号を取得し、40人以上の学生を指導してきた。[5]
コンスタブルはマルクトオーバードルフサマースクールのディレクターを務めた。[6]
主な出版物
- RL Constable と MJ O'Donnell。『プログラミング論理』、ウィンスロップ、ケンブリッジ、1978 年。
- RL Constable、SD Johnson、CD Eichenlaub。PL/CV2プログラミングロジック入門。Lecture Notes in Computer Science 135、Springer-Verlag、1982年
- PRL グループ。Nuprl証明開発システムによる数学の実装。Prentice -Hall、Engelwood Cliffs、NJ、1986 年。
コーネルFCISの開発
1999年、コーネル大学は、学部長を置くものの大学の管理組織を持たない大学レベルの組織として、コンピューティングおよび情報科学学部（FCIS）を創設した。学生と教員は他の大学に所属し、教員は共同任命を受ける。例えば、2002年には、コンピュータサイエンスの教員が工学部とFCISの両方に配属された。[7]新しいFCISは、コンピュータグラフィックスプログラムの統括組織となり、後に新しい統計科学部となった。FCISは、50人以上の関連教員を擁するまでに成長し、それぞれが別の学術部門で共同任命を受けた。[8] 2020年、アン・S・バウアーズによる財政的支援により、本物の大学、コーネル・バウアーズCIS（コンピューティングおよび情報科学大学）となった。[9]
FCIS はロバート・コンスタブルの構想でした。彼は、この新しいコンピューター時代には、コーネル大学のあらゆる部門が研究と教育にコンピューターを使用するための支援を必要としており、そのためにはコンピューターを大学レベルに引き上げる必要があると感じていました。彼は、構造的には大学ですが実際の大学ではない「学部」を学部長が率いるという、新しい革新的な方法を提案しました。コンスタブルは数年かけてこのアイデアを実現しました。彼は初代学部長であり、5 年間の任期を 2 回務めました。2008 年に彼が議長を退任したとき、当時の副学長ビディ・マーティンは、このアイデアとその実行の両方をコンスタブルの功績としました。[10]
2つ目のイノベーションは、情報科学科がコンピュータサイエンスと対立するのではなく、協力して働くことだった。FCISという名称にISが含まれていることに注目してほしい。コンスタブルは、コンピュータサイエンスの適切なメンバーに、何年にもわたって新しい学科を発展させる責任を与えた。今日、2024年現在、情報科学科はコーネル大学のすべての学部で専攻と副専攻を提供している。数名の教員は、コンピュータサイエンスと情報科学を兼任している。[13]
受賞歴
- ACMフェロー、1995年。
- グッゲンハイムフェローシップ、1990-1991年。
- 自動推論への顕著な貢献に対してエルブランド賞、2014年。[14]
参考文献
- ^ 数学系譜プロジェクトのロバート・L・コンスタブル
- ^ Steele, Bill (2008 年 6 月 11 日)。「コンピューターおよび情報科学の初代学部長である Robert Constable が 2009 年に退任」。Cornell Chronicle。コーネル大学。
- ^ Constable, Robert L.; Johnson, Scott D. (1979). 「A PL/CV Precis」.プログラミング言語の原理に関する第 6 回 ACM SIGACT–SIGPLAN シンポジウム (POPL '79) の議事録。Association for Computing Machinery。pp. 7–20。doi : 10.1145/567752.567754。
- ^ Constable, Robert L.; Gries, David (2015年7月21日). 「A Conversation with Robert L. Constable」. ecommons.cornell.edu . 2019年9月29日閲覧。
- ^ 「ロバート・リー・コンスタブル」。数学系譜プロジェクト。 2015年9月2日閲覧。
- ^ 「ロバート・L・コンスタブル」コーネル大学、1997年。 2015年9月2日閲覧。
- ^ 「情報科学が新たな形を発表」cornell.edu . 2020年10月30日時点のオリジナルよりアーカイブ。2024年3月20日閲覧。
- ^ FCISのウェブサイトは2004年にウェイバックマシンにアーカイブされました。メインページは[1]です。学部長のページは[2]です。計算生物学[3]、計算科学と工学[4]、情報科学[5]、共同プログラム[6]のページはここにあります。
- ^ 「Cornell Bowers CIS: College of Computing and Information Science」. cornell.edu . 2024年3月19日時点のオリジナルよりアーカイブ。2024年3月20日閲覧。
- ^ 「ロバート・コンスタブル、コンピューティングおよび情報科学の創設学部長が2009年に退任」。cornell.edu 。 2013年6月8日時点のオリジナルよりアーカイブ。2024年3月20日閲覧。
- ^ “Faculty”. cs.cornell.edu . 2023年12月7日時点のオリジナルよりアーカイブ。2024年3月20日閲覧。
- ^ “Faculty”. infosci.cornell.edu . 2023年12月25日時点のオリジナルよりアーカイブ。2024年3月20日閲覧。
- ^ 少なくとも4人の教員がコンピュータサイエンスと情報科学の共同任命を受けており、両部門で指導的役割を果たしてきました。2023年のコンピュータサイエンスの教員[11] と情報科学の教員のリストは次のとおりです。[12]
- ^ 「自動推論への顕著な貢献に対するエルブラン賞、CADE自動推論会議」。cadeinc.org。2016年12月20日時点のオリジナルよりアーカイブ。 2024年3月19日閲覧。
外部リンク
- コーネル大学コンピューティング情報科学部のホームページ
- 数学系譜プロジェクトのロバート・L・コンスタブル