Christoph Weidenbach

Christoph Weidenbach is an Adjunct Professor in the Computer Science department at Saarland University, Germany, and the head of the research group Automation of Logic at the Max-Planck-Institute for Informatics. His work focuses on automated deduction, decision procedures, and theorem proving, particularly in the context of first-order logic and decidable fragments. He has been actively involved in the development of automated verification tools and techniques, including SAT solvers and SMT frameworks.

• Education: Diplom (1989), PhD (1996), Habilitation (2000), all in Computer Science at Saarland University.
• Current Roles: Research Leader (Automation of Logic group, MPI) since 2005; Adjunct Professor (Saarland University) since 2007.
• Past Roles: Research Coordinator (MPI, 1999-2005); IT Manager (GM Powertrain Europe, 1991-1999).

His recent publications highlight trends in automated deduction, formal verification, and constraint solving, with applications in linear arithmetic, network protocols, and semantic web reasoning. He has also contributed to the theoretical foundations of superposition calculi and SCL(FOL) extensions.