A PhD in theoretical computer science.