Am 2. Januar 2025 ist unser Kollege im Ruhestand, Herr Professor Dr. Thomas Streicher, nach schwerer Krankheit verstorben.

Professor Dr. Thomas Streicher forschte und lehrte von 1995 bis zu seinem Eintritt in den Ruhestand am 1. April 2024 zunächst in der Arbeitsgruppe ,,Logik und mathematische Grundlagen der Informatik” und dann ab 2004 in der neu gegründeten Arbeitsgruppe ,,Logik’’ am Fachbereich Mathematik der Technischen Universität Darmstadt.

Professor Streicher hat 1988 an der Universität Passau bei Manfred Broy und Martin Wirsing promoviert (,,Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions’’) und sich 1994 an der LMU München habilitiert (,,Investigations into Intensional Type Theory’’).

Neben zahlreichen Zeitschriften- und Proceedings-Veröffentlichungen hat Professor Streicher zwei Monographien verfasst: ,,Semantics of Type Theory’’ (Birkäuser 1991) und ,,Domain-theoretic foundations of functional programming’’ (World Scientific Publishing 2006).

Professor Streicher hatte breite mathematische Interessen und war international hochgeachtet auf Grund seiner wegweisenden Beiträge zur kategoriellen Logik, den logischen Grundlagen der funktionalen Programmierung, Modellen konstruktiver Typentheorien und als einer der Begründer der Homotopy Type Theory (HoTT), die seit den 2000er Jahren im Rahmen von Vladimir Voevodskys Programm einer Univalent Foundation of Mathematics weltweit große Beachtung gefunden hat. Die theoretischen Grundlagen von HoTT basieren weitgehend auf einer Arbeit von Thomas Streicher und Martin Hofmann (1965-2018) aus dem Jahr 1994, die 2014 in Wien – nach 20 Jahren – mit dem LICS Test-of-Time Award ausgezeichnet wurde. Tatsächlich wird in dieser Arbeit erstmals eine Version des inzwischen durch Voevodsky berühmten Univalent Axioms formuliert (unter dem Namen „universe extensionality“). In der Begündung des LICS Test-of-Time Awards heißt es ,,This paper opened a series of investigations leading to the development of homotopy type theory, an area of intense current research that touches on the very foundations of the field. … The results were quite surprizing at the time” und dass die Arbeit ,,an essential forerunner of more recent developments on univalent foundations’’ darstellt.

Professor Thomas Streicher war ein engagierter akademischer Lehrer und betreute zahlreiche Diplomarbeiten, Doktoranden, Habilitanden und Postdoktoranden, von denen etliche ihrerseits als Hochschullehrer tätig sind, z.B. in England, Frankreich, den Niederlanden und den USA.

Der Fachbereich Mathematik der Technischen Universität Darmstadt trauert um einen international hoch angesehenen Forscher und liebenswürdigen Kollegen und wird Professor Thomas Streicher stets ein ehrendes Andenken bewahren.