Prof. Dr. Thomas Streicher

Office: S2|15-208
Phone: 06151-16-22860
streicher [at] 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.

Contact

Technische Universität Darmstadt
Department of Mathematics
Logic Group

S2|15
Schloßgartenstraße 7
64289 Darmstadt
GERMANY

Phone: +49-(0)6151-1622863
Fax:     +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Secretary's office
S2|15-206
Betina Schubotz

Office hours:
Mo.-Fr.  10:00-15:00


 

« November 2017 »
Mo Tu We Th Fr Sa Su
44 1 2 3 4 5
45 6 7 8 9 10 11 12
46 13 14 15 16 17 18 19
47 20 21 22 23 24 25 26
48 27 28 29 30
A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang