Johannes K. Fichte

Dr. Johannes K. Fichte

Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Wissensverarbeitung

• DBLP
• Google Scholar

•   johannes.fichte@tu-dresden.de
•   +49 351 463 43548
•   APB2018 (https://goo.gl/maps/k7iD8kfi5Cu)

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.