Dr. Thomas Piecha

Adresse:

Dr. Thomas Piecha
Universität Tübingen
Fachbereich Informatik
Sand 13
D-72076 Tübingen

 

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

PGP-key

 

Sprechstunde: Mittwoch, 14-15 Uhr und nach den Lehrveranstaltungen

 


Forschungsgebiete

  • Allgemeine Beweistheorie
  • Beweistheoretische Semantik
  • Hypothetisches Schließen
  • Spieltheoretische Ansätze zur Logik
  • Geschichte der Mathematischen Logik

Publikationsliste

 


Kurzer CV

  • seit 2009: Akademischer Mitarbeiter am Fachbereich Informatik der Universität Tübingen
  • 2012: Promotion (Dr. rer. nat.) in Informatik (Universität Tübingen)
  • 2007-2009: Stipendium der Landesgraduiertenförderung (Universität Tübingen)
  • 2006: Magister artium in Philosophie (Universität Tübingen)
  • 2004: Diplom in Physik (Universität Tübingen)

 


Lehre

Aktuelle Lehrveranstaltungen

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

Vergangene Lehrveranstaltungen

Vorlesungsskripte

 


Beteiligung an Forschungsprojekten

 


Organisation von Tagungen und Workshops