Prof. Dr. Thomas Streicher

Büro: S2|15-208
Telefon: 06151-16-2794
streicher [at] 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

Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-164686
Fax: +49-(0)6151-163317

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« Dezember 2014 »
Mo Di Mi Do Fr Sa So
49 1 2 3 4 5 6 7
50 8 9 10 11 12 13 14
51 15 16 17 18 19 20 21
52 22 23 24 25 26 27 28
01 29 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang