Theoretical Computer Science ⁰

Study Computer Science #

1. Master of Science in Computer Science @ HCMUS

Branches of Theoretical Computer Science #

1. Theory of Computation #

1. Computational Complexity

• Communication Complexity
• Circuit Complexity
• Quantum Complexity
• Proof Complexity

2. Computability Theory

2. Logic #

3. Programming Language Theory #

1. Basic of Programming Language Theory
2. Formal Verification
3. Type Theory
4. Functional Programming

4. Algorithms #

1. General Algorithms
2. Lower Bounds
3. Randomization & Probability for Algorithms
4. Approximation Algorithms
5. Parameterized Algorithms
6. Learning-augmented Algorithms

5. Information/Coding Theory #

6. Cryptography #

7. Machine Learning Theory #

8. Game Theory #