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