People
TU Darmstadt Inst. of Maths Res. Groups Res. Group 1 PeopleProfessors
Christian Herrmann Klaus Keimel Ulrich Kohlenbach Martin Otto
Thomas StreicherAssistents
Michael Holderbaum Laurentiu Leustean Peter Lietz Tobias Löw Florence Micol Jon Nedelmann Dirk Thierbach Alexander RohrThomas Streicher
Fachbereich MathematikArbeitsgruppe 14
Technische Universität Darmstadt
Schloßgartenstraße 7
64289 Darmstadt
Room: S2 15/204
Phone: +49 / 6151 / 16-2794
Telefax: +49 / 6151 / 16-3317
Email: streicher@mathematik.tu-darmstadt.de
Research
My research is centered around the following subjects
- constructive type theory and its semantics
- denotational semantics of functional programming languages
- synthetic domain theory and its type-theoretic axiomatisation
- fully abstract models for sequential languages
- derivation of environment machines from continuation semantics
- semantic normalisation proofs
Some of my papers are available electronically.