Professor in Logic and Verification in Computer Science

TUM School of Computation, Information and Technology