Marvin Künnemann Postdoc, UC San Diego Website Opens new tab Program Visits Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Postdoc Fine-Grained Complexity and Algorithm Design, Fall 2015, Visiting Graduate Student
