Portfolio Prof. Dr. Wolfgang Küchlin

Person data

Academic title:
Prof. Dr.
Name:
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.

Projects

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

Cooperations

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

Publications

Help

will be deleted permanently. This cannot be undone.