ヴァレンティーナ・ハリザノフ

ヴァレンティーナ・ハリザノフはセルビア系アメリカ人の 数学者であり、ジョージ・ワシントン大学の数学教授である。彼女の主な研究貢献は計算可能構造理論（おおよそ計算可能性理論とモデル理論の交差点）であり、そこで彼女は計算可能構造上の関係の次数スペクトルの概念を導入し、非可算、可算、有限のチューリング次数スペクトルに関する最初の重要な結果を得た。 ^{[1]彼女の最近の関心は}、アルゴリズム学習理論と群上の順序空間 である。

彼女は1978年にベオグラード大学で数学の理学士号を取得し、1987年にウィスコンシン大学マディソン校でテリー・ミラーの指導の下で数学の博士号を取得しました。^{[2] [3]}

ジョージ・ワシントン大学では、ハリザノフは1987年から1993年まで数学の助教授、 1994年から2002年まで数学の准教授、2003年から現在まで数学の教授を務めた。彼女は1994年にメリーランド大学カレッジパーク校で、2014年にウィーン大学クルト・ゲーデル研究センターで、 2つの客員教授を務めた。^[3]

ハリザノフは2011年からジョージ・ワシントン大学の量子コンピューティング、情報、論理、トポロジーセンターの共同ディレクターを務めている。^[3]

2009年、ハリザノフは数学的構造の代数的、位相的、アルゴリズム的特性がどのように関連しているかを研究するために国立科学財団から助成金を受けた。 ^[4]

ハリザノフは2016年にジョージ・ワシントン大学（GWU）からオスカー賞とショシャナ・トラクテンバーグ教員奨学金賞を受賞しました。 ^[5] この賞は毎年、優れた研究業績を称えるために、GWUの終身在職権を持つ教員に授与されます。^[6]彼女は2020年秋学期のMSRIアイゼンバッド教授に任命されました。^[7]

ハリザノフは査読付きジャーナルに40以上の論文を発表しており、その中には

• VS Harizanov、「Ash-Nerode およびその他の決定可能性条件の次数スペクトルへの影響」Annals of Pure and Applied Logic 55 (1)、pp. 51–65 (1991)、Web of Scienceによると 21 回引用されています。

さらに、彼女は次のような本格的な調査論文と共同編集・共著の本を出版しています。

• VS Harizanov、「純粋計算可能モデル理論」、Handbook of Recursive Mathematics、第1巻、Yu.L. Ershov、SS Goncharov、A. Nerode、JB Remmel編（North-Holland、アムステルダム、1998年）、3～114ページ。
• M. Friend、NB Goethe、VS Harizanov、「帰納法、アルゴリズム学習理論、哲学、シリーズ：論理、認識論、科学の統一」第9巻、Springer、ドルドレヒト、304ページ、2007年。

関係の次数スペクトルは、ハリザノフの博士論文「再帰的構造上の再帰的関係の次数スペクトル」（1987年）で初めて導入され、研究されました。 ^[1]

• ヴァレンティーナ・ハリザノフのホームページ