Thomas Streicher

MathSciNet


Dr. rer. nat. Universität Passau 1988 Germany
Dissertation: Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions
Mathematics Subject Classification: 94—Information and communication, circuits

Advisor: Manfred Broy

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Lietz, PeterTechnische Universität Darmstadt2004
Marz, MichaelTechnische Universität Darmstadt2000
Reus, BerhardLudwig-Maximilians-Universität München1995
Rohr, AlexanderTechnische Universität Darmstadt2002

According to our current on-line database, Thomas Streicher has 4 students and 4 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 76350 for the advisor ID.