 | The topic of this articlemay not meet Wikipedia'snotability guideline for academics. Please help to demonstrate the notability of the topic by citingreliable secondary sources that areindependent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to bemerged,redirected, ordeleted. Find sources: "Thomas Streicher" – news ·newspapers ·books ·scholar ·JSTOR(February 2015) (Learn how and when to remove this message) |
Thomas Streicher (11 February 1958 – 2 January 2025) was an Austrian mathematician who was a Professor ofMathematics atTechnische Universität Darmstadt. He received his PhD in 1988 from theUniversity of Passau with advisorManfred Broy.
Streicher's research interests includedcategorical logic,domain theory andMartin-Löf type theory.
In joint work withMartin Hofmann [de] he constructed a model forintensionalMartin-Löf type theory whereidentity types are interpreted asgroupoids. This was the first model with non-trivial identity types, i.e. other thansets. Based on this work[1] other models with non-trivial identity types were studied, includinghomotopy type theory which has been proposed as a foundation for mathematics inVladimir Voevodsky's research programUnivalent Foundations of Mathematics.
Together with Martin Hofmann he received the 2014LICS Test-of-Time Award for the paper:The groupoid model refutes uniqueness of identity proofs.
Streicher died on 2 January 2025, at the age of 66.[2]
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
 | This article about a German mathematician is astub. You can help Wikipedia byadding missing information. |
