Johannes Fichte

Postdoctoral Researcher, TU Dresden
Google Research Fellow
Dates of Visit: Jan. 12May 14, 2021

Johannes finished his PhD under the supervision of Stefan Szeider at TU Wien in 2015. His work interests are in parameterized algorithmics and its practical applications, including implementations and evaluations. Johannes works on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial/structured setting). He considers the Boolean satisfiability problem (SAT), answer-set programming (ASP), related formalisms, and their generalizations to counting.

Program Visits