I suggest adding the following topics to Theoretical CS: "Complexity", "Coding Theory", "Cryptography"
I also suggest that the "Complexity" topic will have the following subtopics: "Derandomization", "Hardness Amplification", "Interactive Proofs", "Hardness of Approximation", "PCP".
Categories for Theoretical CS
I suggest adding the following topics to Theoretical CS: "Complexity", "Coding Theory", "Cryptography"
I also suggest that the "Complexity" topic will have the following subtopics: "Derandomization", "Hardness Amplification", "Interactive Proofs", "Hardness of Approximation", "PCP".