2018年のACMフェロー選出は、計算複雑性および証明複雑性の分野における研究と教育への持続的な貢献を評価されたものです。証明システムの数理論理学を専門とし、論理命題を検証するために必要な時間や、さまざまな形式的証明構造の強さに対する計算機科学者の理解に影響を与えてきました。
学術的基盤と初期のキャリア
1962年にピッツバーグで生まれたピタッシは、ペンシルベニア州立大学で学士号と修士号を取得し、学術的な基礎を築きました。その後、トロント大学に移り、スティーブン・クックの指導の下で1992年に博士号を取得しました。初期のキャリアには、カリフォルニア大学サンディエゴ校での博士研究員が含まれ、その後、ピッツバーグ大学およびアリゾナ大学で教職に就きました。
証明複雑性への貢献
ピタッシの研究の中心は、特定のシステム内における数学的証明の長さを調査する証明複雑性の分野です。彼女の研究は、証明探索手順の効率を明らかにするために、下界と上界の両方を確立しています。注目すべき成果には、鳩の巣原理に関するフレーゲ証明の指数関数的下界や、密なランダム3充足可能性問題に対する分解証明が含まれます。また、切除平面法とデイビス・パトナム・アルゴリズムの相対的な強さについても探求しています。
機関での役割と専門的貢献
2001年にトロント大学に戻った後、20年間にわたりコンピュータサイエンス学科と数学科の両方で教授職を務めました。在職中、2012年の計算理論シンポジウムのプログラム委員長を務め、2017年には高等研究所の客員教授として過ごしました。2021年にはコロンビア大学に移り、ジェフリー・L・アンド・ブレンダ・ブルースタイン工学教授に就任しました。
受賞と評価
国際的な数学コミュニティは、さまざまな栄誉を通じてピタッシを評価しています。1998年にはベルリンで開催された国際数学者会議で招待講演を行いました。2022年には全米科学アカデミーの会員に選出され、そのキャリアの功績がさらに確固たるものとなりました。
基本情報
- 生年月日: 1962年、ピッツバーグ - 博士号: 1992年、トロント大学 - 2018年 ACMフェロー - 2022年 全米科学アカデミー会員 - 国籍: カナダ - 現在の職位: コロンビア大学
よくある質問
### トニアン・ピタッシの研究の主な焦点は何ですか？
彼女の研究は証明複雑性に焦点を当てており、特に形式化されたシステムにおける数学的証明の長さの上界と下界を特定することに注力しています。
### 彼女はどの大学で教職に就いていましたか？
ピッツバーグ大学、アリゾナ大学、トロント大学、およびコロンビア大学で教員を務めました。
