Research Interests
proof theory and proof complexity, knowledge representation and reasoning, computational logic, satisfiability checking for QBFs, argumentation an argumentation frameworks, algorithm for pathplanning, application of AI methods in engineering