Jan Johannsen

Associate Professor, Ludwig-Maximilians-Universität München
Visiting Scientist
Dates of Visit: Jan. 12May 14, 2021

Jan Johannsen is a Senior Lecturer and Head of the Department office at the Institute for Informatics of Ludwig-Maximilians-Universität München, Germany. He obtained his doctoral degree in Computer Science in 1996 from FAU Erlangen-Nürnberg, and spent two years as a Postdoc at UC San Diego, before joining LMU Munich in 1999. His research interests are Propositional Proof Complexity, in particular in relation to SAT Solving, and more generally in anything in the intersection of Logic and Computational Complexity.

Program Visits