Full Professor of Theoretical Computer Science (University of Amsterdam Institute for Logic, Language and Computation)