The topic of this article may not meet Wikipedia's notability guideline for academics. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.Find sources: "Thomas Streicher" – news · newspapers · books · scholar · JSTOR (February 2015) (Learn how and when to remove this template message)

Thomas Streicher (born 1958) is an Austrian mathematician who is a Professor of Mathematics at Technische Universität Darmstadt. He received his PhD in 1988 from the University of Passau with advisor Manfred Broy.

Work

His research interests include categorical logic, domain theory and Martin-Löf type theory.

In joint work with Martin Hofmann [de] he constructed a model for intensional Martin-Löf type theory where identity types are interpreted as groupoids. This was the first model with non-trivial identity types, i.e. other than sets. Based on this work [1] other models with non-trivial identity types were studied, including homotopy type theory which has been proposed as a foundation for mathematics in Vladimir Voevodsky's research program Univalent Foundations of Mathematics.

Together with Martin Hofmann he received the 2014 LICS Test-of-Time Award for the paper: The groupoid model refutes uniqueness of identity proofs.

Bibliography

References

  1. ^ Awodey, Steve (2010). "Type Theory and Homotopy". arXiv:1010.1810 [math.CT].

External links


Authority control databases
Categories