Marvin Künnemann Max-Planck-Institut für Informatik Program Visits Satisfiability: Theory, Practice, and Beyond , Spring 2021 Visiting Postdoc Fine-Grained Complexity and Algorithm Design , Fall 2015 Visiting Graduate Student Website Opens new tab