Skip to content
Portrait of Thomas Streicher

Thomas Streicher

(1958–2025) Mathematician

1 quotes in 14 categories

Thomas Streicher was a mathematician, best known for Semantics of Type Theory.

Quick Facts About Thomas Streicher

Born
February 11, 1958
Died
January 2, 2025
Profession
Mathematician
Notable works
Semantics of Type Theory

About Thomas Streicher

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

Biography source: Wikipedia

Quotes by Thomas Streicher