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
Peter LietzTechnische Universität Darmstadt2004
Michael MarzTechnische Universität Darmstadt2000
Alexander RohrTechnische Universität Darmstadt2002

According to our current on-line database, Thomas Streicher has 3 students and 3 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.