The Automation of Logic Group is headed by Prof. Dr. Christoph Weidenbach.
The research of this group concentrates on automated deduction in (subsets of) first-order logic. On the theoretical side, the work is focused on the development, analysis, and combination of logical calculi. Practically, the group is concerned with the implementation of powerful automated theorem provers and other deductive systems and their application to computer-aided verification of hardware and software.
What we work on. Who works in which area?
Positions, Long Term Visits, Postdoc Positions, Ph.D. Applications, Internships and other Offers
Lectures, Seminars, Bachelor and Master Theses
Seminar program, Advanced Mini Courses
PhD Theses, Diploma Theses, Publications of Group Members
Software Projects, Downloadable Packages
Collection of useful Links to Internet Sites