Johannes K. Fichte

From International Center for Computational Logic

Dr. Johannes K. Fichte

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge Representation and Reasoning

My work interests in computational complexity theory and its applications. In particular I work on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial/structured setting). I consider the boolean satisfiablity problem (SAT), answer-set programming (ASP), and related formalisms.

I am happy to supervise theses of motivated students in topics related to my research area. If you have ideas or questions regarding possible topics, please contact me.