Dr. Thomas Piecha
Address:
Dr. Thomas Piecha
University of Tübingen
Doblerstraße 33
72074 Tübingen
Germany
Office: 3.2
Phone: +49-7071-4071614
Email: piechaspam prevention@cs.uni-tuebingen.de
Office hours: by appointment
Research interests
- Constructive semantics
- General proof theory
- Proof-theoretic semantics
- Hypothetical reasoning
- Game-theoretic approaches to logic
List of publications
Short CV
- WS 2023/24: Teaching award of the board of studies at the Department of Computer Science
- Since 2021: Managing director of the Carl Friedrich von Weizsäcker Center
- 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.
Teaching
Past courses
Lecture notes
Invited talks
Participation in research projects
-
Constructive Semantics and the Completeness Problem. Research project financed by DFG. 2019-2023
-
"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