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.