Thomas Streicher (nacido en 1958) es un matemático alemán que es profesor de matemáticas en la Technische Universität Darmstadt . Recibió su doctorado en 1988 de la Universidad de Passau con el asesor Manfred Broy .
En trabajo conjunto con Martin Hofmann , construyó un modelo para la teoría de tipos intensional de Martin-Löf donde los tipos de identidad se interpretan como grupoides . Este fue el primer modelo con tipos de identidad no triviales, es decir, distintos de los conjuntos . Con base en este trabajo [1] , se estudiaron otros modelos con tipos de identidad no triviales, incluida la teoría del tipo de homotopía que se ha propuesto como base para las matemáticas en el programa de investigación Fundamentos Univalentes de las Matemáticas de Vladimir Voevodsky .
Junto con Martin Hofmann, recibió el premio LICS Test-of-Time 2014 por el artículo: El modelo grupoide refuta la unicidad de las pruebas de identidad .