Portfolio Prof. Dr. Peter Schroeder-Heister

Person data

Academic title:
Prof. Dr.
Peter Schroeder-Heister
Organizational units:
Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics

Contact data

Research focus

Formal logic is the basis of deductive reasoning. At the same time it provides a universal language for the representation of knowledge and for the specification of programs and processes. In this sense it is a fundamental subdiscipline of theoretical computer science with a broad range of applications.  

The group Logic and Language / Mathematical Logic works at the intersection of computer science, philosophy, linguistics and mathematics. It is mainly concerned with constructive logics and semantics, and with the application of logic in modelling reasoning and knowledge. Within philosophy, foundational questions of logic and philosophy of science including their historical development are investigated.  

Current research projects focus on hypothetical reasoning and the interactive foundations of logic and semantics.


2016 - 2019
Peter Schroeder-Heister
Deutscher Akademischer Austauschdienst e.V. (DAAD)
2016 - 2018
Michael Arndt
Deutsche Forschungsgemeinschaft e.V. (DFG)
2015 - 2017
Peter Schroeder-Heister
Deutsche Forschungsgemeinschaft e.V. (DFG)
2015 - 2018
Luca Tranchini
Deutsche Forschungsgemeinschaft e.V. (DFG)



will be deleted permanently. This cannot be undone.