Professor in Logic and Verification in Computer Science (TUM School of Computation, Information and Technology)