André Schidler is a PhD student at the Technical University of Vienna. André's research focuses on applications of SAT encodings and parameterized complexity. He has over a decade of experience as a software engineer.