Prof. Dr. Andreas Schäfer
Andreas Schäfer received his PhD 2007 from the Carl von Ossietzky University in Oldenburg, Germany. He then worked at the European Patent Office for 5 years. Since 2012 he is Professor of Computer Science at the Technische Hochschule Lübeck. His interests include Automata Theory, Logic and Formal Methods.