Dr. Thomas Piecha


Dr. Thomas Piecha
University of Tübingen
Department of Computer Science
Sand 13
72076 Tübingen


Office: B111
Phone: +49-7071-29-70468
Fax: +49-7071-29-5060
Email: piecha[at]informatik.uni-tuebingen.de



Office hours: Wednesday, 14-15h and after classes


Research interests

  • General proof theory
  • Proof-theoretic semantics
  • Hypothetical reasoning
  • Game-theoretic approaches to logic; dialogical logic
  • Karl Popper's works on logic

List of publications



Current courses

  • Vorlesung: Lambda Calculus and Combinatory Logic (WS17/18)
  • Übungen zur Vorlesung Lambda Calculus and Combinatory Logic (WS17/18)

Past courses

Lecture notes


Participation in research projects


Organisation of conferences and workshops