Johannes K. Fichte

From International Center for Computational Logic

Dr. Johannes K. Fichte

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic

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 satisfiability 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.

You can also find details on the faculty web page [1].