ヴァレンティーナ・ハリザノフ | |
|---|---|
| 母校 | ウィスコンシン大学マディソン校、ベオグラード大学 |
| 知られている | 計算可能性理論の研究 |
| 受賞歴 | オスカー・アンド・ショシャナ・トラクテンバーグ教員奨学金賞（2016年） |
| 科学者としてのキャリア | |
| フィールド | 数学、計算可能性理論 |
| 機関 | ジョージ・ワシントン大学 |
| 論文 | 再帰構造上の再帰関係の次数スペクトル （1987） |
| 博士課程の指導教員 | テリー・ミラー |
ヴァレンティーナ・ハリザノフはセルビア系アメリカ人の 数学者であり、ジョージ・ワシントン大学の数学教授です。彼女の主な研究業績は計算可能構造理論（計算可能性理論とモデル理論の交差点に位置する）であり、計算可能構造上の関係の次数スペクトルの概念を導入し、非可算、可算、有限のチューリング次数スペクトルに関する最初の重要な結果を得ました。[1] 彼女の最近の関心は、アルゴリズム学習理論と群上の順序空間です。
教育
彼女は1978年にベオグラード大学で数学の理学士号を取得し、1987年にウィスコンシン大学マディソン校でテリー・ミラーの指導の下で数学の博士号を取得しました。[2] [3]
キャリア
ハリザノフはジョージ・ワシントン大学で、1987年から1993年まで数学助教授、 1994年から2002年まで数学准教授、2003年から現在まで数学教授を務めた。また、1994年にはメリーランド大学カレッジパーク校、2014年にはウィーン大学クルト・ゲーデル研究センターで客員教授を務めた。[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、「純粋計算可能モデル理論」、Yu.L. Ershov、SS Goncharov、A. Nerode、JB Remmel編『再帰数学ハンドブック』第1巻（北ホランド、アムステルダム、1998年）、3～114頁。
- M. Friend、NB Goethe、VS Harizanov、「帰納法、アルゴリズム学習理論、哲学、シリーズ：論理、認識論、科学の統一」第9巻、Springer、ドルドレヒト、304ページ、2007年。
関係の次数スペクトルは、ハリザノフの博士論文「再帰構造における再帰関係の次数スペクトル」（1987年）で初めて導入され、研究されました。[1]
参考文献
- ^ ab Harizanov, VS (1987). 「再帰構造における再帰関係の次数スペクトル」.ウィスコンシン大学マディソン校博士論文.
- ^ 数学系譜プロジェクトのヴァレンティーナ・ハリザノフ
- ^ abc 「ヴァレンティーナ・ハリザノフの履歴書」(PDF)。ジョージ ワシントン大学。2018 年1 月 15 日に取得。
- ^ 「Award Abstract #0904101: Topics in Computable Mathematics」. National Science Foundation . 2018年1月15日閲覧。
- ^ 「トラクテンバーグ研究賞受賞者」ジョージ・ワシントン大学. 2018年1月15日閲覧。
- ^ 「オスカー・アンド・ショシャナ・トラクテンバーグ教員奨学金（研究）賞」ジョージ・ワシントン大学。2018年1月16日時点のオリジナルよりアーカイブ。 2018年1月15日閲覧。
- ^ MSRI. 「数学科学研究所」www.msri.org . 2021年6月7日閲覧。
外部リンク
- ヴァレンティーナ・ハリザノフのホームページ
