PortfolioPeter 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.


2024 - 2027
Peter Schroeder-Heister
Deutsche Forschungsgemeinschaft e.V. (DFG)



will be deleted permanently. This cannot be undone.