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

• DBLP
• Google Scholar

•   johannes.fichte@tu-dresden.de
•   +49 351 463 43548

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