Theoretical computer scientist