Projects and theses

We supervise projects and theses in the following areas of research:

• Complexity and application of SAT solving, answer-set programming (ASP) and related formalisms (please contact Johannes Fichte)
• Formal argumentation and human reasoning (please contact Marcos Cramer)