Visiting Graduate Student
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.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Graduate Student