معرفی
Dr. Thomas Piecha is an active researcher and academic staff member in the Department of Computer Science at the University of Tübingen's Faculty of Mathematics and Natural Sciences. Since 2009, he has contributed significantly to proof-theoretic semantics and logic research, while also serving as Managing Director of the Carl Friedrich von Weizsäcker Center since 2021. His international collaborations include visiting positions at Paris 1 Panthéon-Sorbonne (2014/15, 2018/19) and PUC Rio de Janeiro (2020).
Dr. Piecha's research focuses on constructive semantics, general proof theory, proof-theoretic semantics, hypothetical reasoning, and game-theoretic approaches to logic. His work bridges computer science, philosophy, and mathematical logic, examining foundational questions about meaning, validity, and inference. He approaches logical systems through their proof structures rather than model-theoretic semantics, investigating how meaning emerges from inferential practices.
His recent publications (2021-2025) show a clear trend toward integrating Popper's philosophical insights with contemporary proof theory while continuing to address fundamental problems in constructive semantics. The articles demonstrate consistent focus on completeness problems in proof-theoretic frameworks, logical constants, and the philosophical implications of different semantic approaches to logic.
His notable recognition includes:
- Teaching Award of the Study Commission at the Department of Computer Science (WS 2023/24)
Dr. Piecha has secured significant research funding through multiple collaborative projects including DFG-funded initiatives like 'Constructive Semantics and the Completeness Problem' (2019-2023) and joint French-German projects such as 'BEYOND LOGIC' (2015-2019). His research program has been consistently supported by major funding bodies including DFG, ANR, VolkswagenStiftung, and the European Science Foundation.
He actively contributes to the academic community through conference organization including the Hilbert-Bernays Summer School on Logic and Computation (2019) and multiple workshops on 'Can software be responsible?'. His work with the Carl Friedrich von Weizsäcker Center since 2021 represents an institutional commitment to interdisciplinary research bridging technical and philosophical aspects of logic.
