PhD in Theoretical Computer Science