Biography

I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Algorithms and Complexity group under the supervision of Prof. Stefan Szeider. My research interests are satisfiability, heuristic search, algorithm selection, parameterized complexity and evolutionary optimization.