Dr. Thomas Piecha

Address:

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

 

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

PGP-key

 

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

No office hours on 16.8. and 23.8.

 


Research interests

  • General proof theory
  • Proof-theoretic semantics
  • Logic in computer science
  • Game-theoretic approaches to logic; dialogical logic
  • Karl Popper's works on logic

List of publications

 


Teaching

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