Portfolio Prof. Dr. Wolfgang Küchlin

Person data

Academic title:
Prof. Dr.
Wolfgang Küchlin
Organizational units:
Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics

Contact data

Research focus

Symbolic Computation means computing using formulae (instead of numbers). We implement the axioms of Mathematical Logic and Algebra as Computer programs and apply them to large industrial problems.  

Our method of choice is SAT Solving in Boolean Algebra. Our particular strength is the construction of symbolic software systems in Java. Our applications include configuration problems in the automotive industry, in computer and storage networks, and in formal fault analysis and verification of system software.


2019 - 2020
Reinhard Kahle, Wolfgang Küchlin
Wolfgang Küchlin, Reinhard Kahle, Birgit Grieg
Deutscher Akademischer Austauschdienst e.V. (DAAD)


Türk-Alman Üniversitesi (TAÜ)
Istanbul, Turkey



will be deleted permanently. This cannot be undone.