Loading article…
ナタラジャン・シャンカーは、カリフォルニア州メンローパークにあるSRIインターナショナルに勤務するコンピュータ科学者であり、そこで記号解析研究所を率いている。[ 1 ]
シャンカーは、1986年にテキサス大学オースティン校で、ロバート・S・ボイヤーとJ・ストローザー・ムーアの指導の下、コンピュータサイエンスの博士号を取得した。[ 1 ]
彼の博士論文は、 1994年にケンブリッジ大学出版局から「メタ数学、機械、ゲーデルの証明」という書籍として出版された。[ 2 ]
シャンカーは、1986年から1988年までスタンフォード大学で研究員を務めた。 [ 1 ] 1989年にSRIインターナショナルのコンピュータサイエンス研究所に入社。SRI在籍中は、ボイヤー・ムーア定理証明器を用いて、トートロジー定理、ゲーデルの不完全性定理、チャーチ・ロッサー定理などのメタ定理を証明した。また、プロトタイプ検証システムを含む、自動推論技術、演繹システム、計算エンジンの開発にも貢献した。[ 1 ]
2009年、彼はSRIフェローに選ばれた。[ 3 ]このフェローシップは、科学への卓越した貢献をした優秀なスタッフを表彰するものである。SRIのコンピュータサイエンス研究所の他のSRIフェローは、ピーター・G・ニューマン、ジョン・ラシュビー、パトリック・リンカーン、キャロリン・タルコットである。[ 3 ]彼は2025年のフェローとしてACMフェローに選ばれた。[ 4 ]