ステファニー・ウェイリッチ

ステファニー・ワイリッチ（/ ˈ w aɪ ə r ɪ k / WYRE -ik ^[1]）は、型理論、型推論、依存型、関数型プログラミングを専門とするアメリカのコンピュータ科学者です。ペンシルバニア大学のコンピュータサイエンスの教授です。

ワイリッヒは1996年にライス大学を優秀な成績で卒業し、コンピュータサイエンスの学士号を取得した。^{[2]ライス大学では、}マティアス・フェライセンとの学部研究プロジェクトを通じてプログラミング言語に興味を持つようになった。^{[3]大学院では}コーネル大学に移り、2002年に博士号を取得した。^[2]博士論文「型を使ったプログラミング」はグレッグ・モリセットの指導を受けた。^[4] 2002年にペンシルベニア大学の教員となった。 ^[2]

型推論に関する Weirich の研究は、 Glasgow Haskell Compilerに組み込まれています。また、プログラミング言語の型システムをベンチマークするPOPLmark チャレンジのリーダーでもあります。Weirich は 2016 年にSIGPLAN Robin Milner Young Researcher Award を受賞しました。

• ホームページ
• Google Scholarによってインデックス付けされた Stephanie Weirich の出版物