トーマス・シュトライヒャー

トーマス・シュトライヒャー（1958年生まれ）はオーストリアの数学者であり、ダルムシュタット工科大学の数学教授である。彼は1988年にマンフレート・ブロイの指導のもと、パッサウ大学で博士号を取得した。

彼の研究対象には、範疇論理、領域理論、マルティン・レーフ型理論などがある。

 マルティン・ホフマン[de]との共同研究で、彼は内包的 マルティン・レーフ型理論のモデルを構築した。このモデルでは恒等型は群として解釈される。これは集合以外の非自明な恒等型を持つ最初のモデルであった。この研究[ 1 ^]に基づいて、ウラジミール・ヴォエヴォツキーの研究プログラム「数学のユニバレント基礎」で数学の基礎として提案されたホモトピー型理論を含む、非自明な恒等型を持つ他のモデルが研究された。

彼はマーティン・ホフマンとともに、論文「類群モデルは同一性証明の一意性を反証する」で2014 LICS Test-of-Time Awardを受賞しました。

• T. Streicher (1991)、「型理論の意味論: 正確性、完全性、独立性の結果」、Birkhäuser Boston。ISBN 3764335947 
• M. Hofmann および T. Streicher (1996)、「型理論の群論的解釈」、Sampin, Giovanni (編) 他『構成型理論の 25 年間』、イタリア、ヴェネツィアで開催された会議の議事録、1995 年 10 月 19 ～ 21 日。
• T. Streicher (2006)、「関数型プログラミングのドメイン理論的基礎」、World Scientific Pub Co Inc. ISBN 9812701427 

• ダルムシュタット工科大学の公式ウェブサイト
• 数学系譜プロジェクトのトーマス・シュトライヒャー