Dr. Thomas Piecha
Dr. Thomas Piecha
University of Tübingen
Office hours: by appointment
- Constructive semantics
- General proof theory
- Proof-theoretic semantics
- Hypothetical reasoning
- Game-theoretic approaches to logic
List of publications
- 2020: Visiting professor at PUC Rio de Janeiro
- WS 2014/15 and WS 2018/19: Chercheur invité, Paris 1 Panthéon-Sorbonne
- 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.
- Since 2009: Member of academic staff at the Department of Computer Science, University of Tübingen.
- 2007-2009: Scholarship of the Landesgraduiertenförderung (University of Tübingen)
- 2006: Magister artium in Philosophy (University of Tübingen), with a thesis on physical models of computation, hypercomputation 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.
Participation in research projects
Constructive Semantics and the Completeness Problem. Research project financed by DFG. 2019-2022
"Can software be responsible?". Planning Grant within the scope of the VolkswagenStiftung support program Artificial Intelligence and the Society of the Future. 2019-2020
BEYOND LOGIC, Hypothetical Reasoning in Philosophy of Science, Informatics, and Law. Joint French-German research project funded by ANR and DFG. 2015-2019
HYPOTHESES (2nd phase), Hypothetical Reasoning – Its Proof-Theoretic Analysis. Joint French-German research project funded by ANR and DFG. 2012-2015
HYPOTHESES (1st phase), Hypothetical Reasoning – Logical and Semantical Perspectives. Joint French-German research project funded by ANR and DFG. 2009-2012
DiFoS - Dialogical Foundations of Semantics, Collaborative Research Project within the EUROCORES programme LogICCC of the European Science Foundation (ESF). 2009-2012