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


 

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