Loading article…
ニール・イマーマン（1953年11月24日、ニューヨーク州マンハッセット生まれ）は、アメリカの理論計算機科学者であり、マサチューセッツ大学アマースト校の計算機科学教授である。[1]彼は記述的複雑性の主要な開発者の一人であり、現在、モデル検査、データベース理論、計算複雑性理論の研究にこのアプローチを適用している。
イマーマン教授は、 SIAM Journal on Computing [2]およびLogical Methods in Computer Science [3]の編集者です。1974年にイェール大学で学士号と修士号を取得し、1980年にコーネル大学でチューリング賞受賞者のジュリス・ハートマニス氏の指導の下、博士号を取得しました。[1] [4]彼の著書「Descriptive Complexity」は1999年に出版されました。[5]
インマーマンは、ロバート・シェレプチェニとともに、非決定性空間計算量クラスが相補性の下で閉じているという結果であるインマーマン・シェレプチェニ定理の証明により、1995年の理論計算機科学におけるゲーデル賞を共同受賞した。[6]インマーマンは、 ACMフェロー[7]およびグッゲンハイムフェロー[8]である。
参考文献
- ^ ab 教員ディレクトリ: Neil Immerman、コンピュータサイエンス学部、マサチューセッツ大学アマースト校、2010年1月23日閲覧。
- ^ 編集委員会、SIAM Journal on Computing、2010年1月23日閲覧。
- ^ 編集委員会、Logical Methods in Computer Science、2010年1月23日閲覧。
- ^ 数学系譜プロジェクトのニール・イマーマン。
- ^ 記述的複雑性のレビュー:
- ダワール、アヌジ（2001）、数学レビュー、MR 1732784
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク) - クロノフスキー、W.（2001）、自然と社会における離散ダイナミクス、6：57-62、doi：10.1155 / S1026022601000061
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク) - リンデル、スティーブン（2001年12月）、記号論理学誌、7（4）：525-527、doi：10.2307/2687799、JSTOR 2687799、S2CID 117907732
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク) - シェーニング、ウーヴェ、zbMATH、Zbl 0918.68031
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク)
- ダワール、アヌジ（2001）、数学レビュー、MR 1732784
- ^ 1995 Gödel Prize、ACM SIGACT、2010年1月23日閲覧。
- ^ ACM Fellows Award / Neil Immerman、Association for Computing Machinery、2010年1月23日閲覧。
- ^ Neil Immerman Archived 2011-06-04 at the Wayback Machine、John Simon Guggenheim Memorial Foundation、2010-01-23取得。
外部リンク
- マサチューセッツ大学アマースト校のイマーマンのホームページ