TUD FB  Mathematik
| English
  | Home | Fachbereich Mathematik | TU Darmstadt  
Kontakt
Forschung
Mitarbeiter
Professoren
Mitarbeiter
Sekretariat
Ehemalige Mitarbeiter
Events
Lehre
 

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