Thomas Streicher
Fachbereich Mathematik
Arbeitsgruppe 14
Technische Universität Darmstadt
Schloßgartenstraße 7
64289 Darmstadt
Raum: S2 15/204
Tel: 06151 / 16-2794
Fax: 06151 / 16-3317
Email:
streicher@mathematik.tu-darmstadt.de
Forschung
Meine Forschung konzentriert sich auf folgende Themen:
- konstruktive Typtheorie und ihre (kategorielle) Semantik
- denotationale Semantik von funktionalen Programmiersprachen
- synthetische Domaintheorie und ihre Axiomatisierung in Typtheorie
- Untersuchung voll abstrakter Modelle für sequentielle Sprachen
- Herleitung abstrakter Environment Madschinen aus Continuationsemantik
- semantische Beweise von Normalisierung.
Einige meiner
Papiere
sind elektronisch erhältlich.
Lehre
Für die aktuellen Veranstaltungen
(Einführung in die Logik,Berechenbarkeitstheorie und Unvollständigkeit formaler Systeme,Grundlagen der Mathematik und mathematischenGrundlagen der Informatik) kann man sich
die Beschreibung aus dem kommentierten Vorlesungsverzeichnis anschauen.
Außerdem halte ich regelmässig Hauptstudiumsvorlesungen für
Mathematiker und Informatiker zu folgenden Themen
- Berechenbarkeitstheorie und Unvollständigkeit formaler Systeme
- Einführung in die konstruktive Typtheorie
- mathematische Grundlagen der funktionalen Programmierung
- Einführung in die Kategorientheorie und kategorielle Logik
|
