Professor Theoretical Computer Science, Informatics Institute at University of Amsterdam. Director QuSoft, chair of http://Quantum.Amsterdam https://bsky.app/profile/theoryamsterdam.bsky.social