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

 


Research interests

  • General proof theory
  • Proof-theoretic semantics
  • Hypothetical reasoning
  • Game-theoretic approaches to logic
  • History of mathematical logic

List of publications

 


Short CV

  • since 2009: Member of academic staff at the Department of Computer Science, University of Tübingen.
  • 2012: PhD (Dr. rer. nat.) in Computer Science (University of Tübingen), with a thesis on game-theoretic semantics for definitional reasoning and implications as rules. Supervisors: Prof. Peter Schroeder-Heister and Prof. Reinhard Kahle.
  • 2007-2009: Scholarship of the Landesgraduiertenförderung (University of Tübingen)
  • 2006: Magister artium in Philosophy (University of Tübingen), with a thesis on hypercomputation / physical models of computation and Church's thesis. Supervisors: Prof. Peter Schroeder-Heister and Prof. Herbert Keuth.
  • 2004: Diploma in Physics, minor subject: Computer Science (University of Tübingen), with a thesis on physical foundations of quantum computation. Supervisors: Prof. Hanns Ruder and Prof. Klaus-Jörn Lange.

 


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