Assistant Professor in Logic, Automata, and Game Theory in Computer Science (Technical University of Munich School of Computation, Information and Technology)